scientific article; zbMATH DE number 3581600

zbMath0373.68030MaRDI QIDQ4151149

Robert M. Keller

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items

A generalized Kahn Principle for abstract asynchronous networks, Specification and top-down design of distributed systems, Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm, Concurrent transition systems, Dataflow semantics for Petri nets, Equational reasoning about nondeterministic processes, Unnamed Item, An extensional fixed-point semantics for nondeterministic data flow, The expressive power of indeterminate dataflow primitives, The algebra of stream processing functions, A fully abstract semantics for concurrent constraint programming, Computing the behaviour of asynchronous processes, Nonexpressibility of fairness and signaling, A model of concurrency with fair merge and full recursion