Semantics of systems of concurrent processes. LITP Spring School on theoretical computer science, La Roche Posay, France, 23-27 April 1990. Proceedings
From MaRDI portal
Publication:1188804
zbMath0744.68020MaRDI QIDQ1188804
No author found.
Publication date: 17 September 1992
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
ProceedingsTheoretical computer scienceSemanticsConcurrent processesLa Roche Posay (France)logics for concurrencymodels for concurrent and distributed systemsobservation and bisimulation equivalences
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
GSOS and finite labelled transition systems, Configuration structures, event structures and Petri nets, Unnamed Item, Observational structures and their logic, On the expressiveness of higher dimensional automata, Unified mathematical framework for slicing and symmetry reduction over event structures
