Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

International Conference on Concurrency Theory (CONCUR)

https://id.confref.org/data/confref-portal/event/concur2006

This record is part of the confref event International Conference on Concurrency Theory.

rdf:typeportal:Conference
schema:locationBonn (wd:Q586)
rdfs:labelInternational Conference on Concurrency Theory (CONCUR)
portal:acronymCONCUR
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityBonn
portal:countryGermany
portal:endDate2006-08-30
portal:keywordConcurrent graph rewriting
portal:keywordEquational theories
portal:keywordPetri Nets
portal:keywordTheory of concurrency
portal:keywordanalysis and synthesis
portal:keywordcomplete axiomatizations
portal:keywordcontinuous-time Markov chains
portal:keyworddpo approach
portal:keywordelementary net systems
portal:keywordgraph process semantics
portal:keywordgraphical encoding of nominal calculi
portal:keywordlocalities
portal:keywordprocess equivalences
portal:keywordstep sequence semantics
portal:keywordstochastic process algebras
portal:keywordstructure and behaviour of nets
portal:keywordtheory of regions
portal:keywordtransition systems
portal:nameInternational Conference on Concurrency Theory (CONCUR)
portal:portalPagehttp://portal.confref.org/list/concur2006
portal:serieshttps://id.confref.org/data/confref-portal/series/concur
portal:startDate2006-08-27
portal:submissionExtendedfalse
portal:year2006
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAshttps://dblp.org/db/conf/concur/concur2006

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.