MPG.eBooks - Search Results - "Concurrent systems"

Cover Image

1

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Published 1989

Springer Berlin Heidelberg

Table of Contents: “... and properties of concurrent systems -- Permutation of transitions: An event structure semantics for CCS and SCCS...”

Cover Image

2

Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

Published 1990

Springer Berlin Heidelberg

Table of Contents: “... of concurrent systems based on local state transformations -- Construction of network protocols by stepwise...”