Publication:3667958
From MaRDI portal
zbMath0518.68045MaRDI QIDQ3667958
Publication date: 1982
parallel programming; denotational semantics; event structures; synchronous and asynchronous communication
68Q45: Formal languages and automata
90B10: Deterministic network models in operations research
68Q70: Algebraic theory of languages and automata
68Q55: Semantics in the theory of computing
Related Items
Metric semantics for true concurrent real time, Models and logics for true concurrency., Compilation of the ELECTRE reactive language into finite transition systems, On the implementation of concurrent calculi in net calculi: two case studies, Structure of concurrency, Some behavioural aspects of net theory, Un modèle asynchrone pour les systèmes distribués. (An asynchronous model of distributed systems), A partial ordering semantics for CCS, Calculi for synchrony and asynchrony, Concurrent histories: a basis for observing distributed systems, Specification and top-down design of distributed systems, Petri nets, algebras, morphisms, and compositionality, An algebra of processes, A distributed operational semantics of CCS based on condition/event systems, Sequential and concurrent behaviour in Petri net theory, Concurrency and atomicity, Control machines: A new model of parallelism for compositional specifications and their effective compilation, Event structures and trace monoids, Towards an algebra for timed behaviours, Denotational semantics in the cpo and metric approach, Synchronization trees, Axiomatizing the subsumption and subword preorders on finite and infinite partial words, On Scott's thesis for domains of information and well-quasi-orderings, Trellis processes: a compact representation for runs of concurrent systems, Probabilistic event structures and domains, A compositional proof system on a category of labelled transition systems, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra