Semantics of Systems of Concurrent Processes

Beschreibung

This volume is the proceedings of a 1990 Spring School devoted to the semantics of concurrency. Surveys and tutorials introduce the subject to novices and students and give updates of the state of the art, and research papers present recent achievements in the field.

Autor*in

Irene Guessarian

Themen in »Semantics of Systems of Concurrent Processes«

Bisimulation Equivalence Nebenläufigkeit Parallelität Semantik Verteilte Prozesse commutative property computability concurrency logic petri net semantics

Stimmen zu »Semantics of Systems of Concurrent Processes«

Details

Link teilen