scientific article; zbMATH DE number 3581600

MaRDI QIDQ4151149zbMATH OpenFDO

Authors Robert M. Keller

Publication date 1978

Mathematics Subject Classification ID

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

Cited in

(14)

• Computing the behaviour of asynchronous processes
• Specification and top-down design of distributed systems
• Concurrent transition systems
• An extensional fixed-point semantics for nondeterministic data flow
• The expressive power of indeterminate dataflow primitives
• A fully abstract semantics for concurrent constraint programming
• Nonexpressibility of fairness and signaling
• Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm
• scientific article; zbMATH DE number 3725688 (Why is no real title available?)
• Dataflow semantics for Petri nets
• A generalized Kahn Principle for abstract asynchronous networks
• The algebra of stream processing functions
• A model of concurrency with fair merge and full recursion
• Equational reasoning about nondeterministic processes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4151149)