Linear time and branching time semantics for recursion with merge

DOI10.1016/0304-3975(84)90114-2zbMath0985.68517OpenAlexW2129965117MaRDI QIDQ1348527

J. W. de Bakker, Jan Willem Klop, Jan A. Bergstra, John-Jules Ch. Meyer

Publication date: 13 May 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/12755

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Merging regular processes by means of fixed-point theory, Three metric domains of processes for bisimulation, De Bakker-Zucker processes revisited, Infinite streams and finite observations in the semantics of uniform concurrency, Applications of compactness in the Smyth powerdomain of streams, Transition systems, metric spaces and ready sets in the semantics of uniform concurrency, Designing equivalent semantic models for process creation, Metric semantics for concurrency, Generalizing finiteness conditions of labelled transition systems, Four domains for concurrency, Synchronous cooperation for explicit multi-threading, The expressive power of indeterminate dataflow primitives, An introduction to metric semantics: Operational and denotational models for programming and specification languages, A thread calculus with molecular dynamics, Specification-oriented semantics for communicating processes, Rendez-vous with metric semantics, Comparative semantics for flow of control in logic programming without logic

Cites Work

• A complete inference system for a class of regular behaviours
• Power domains
• Data Types as Lattices
• A Powerdomain Construction
• Processes and the denotational semantics of concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item