Linear time and branching time semantics for recursion with merge

DOI10.1016/0304-3975(84)90114-2MaRDI QIDQ1348527zbMATH OpenOpenAlexFDO

Authors J. W. de Bakker, Jan Willem Klop, J. A. Bergstra, John-Jules 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, http://ir.cwi.nl/pub/1849

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Merging regular processes by means of fixed-point theory
• scientific article; zbMATH DE number 3890714
• Branching vs. Linear Time: Semantical Perspective
• Step semantics for ``true concurrency with recursion

Cites work

• A complete inference system for a class of regular behaviours
• A Powerdomain Construction
• Data Types as Lattices
• scientific article; zbMATH DE number 4016181 (Why is no real title available?)
• scientific article; zbMATH DE number 3837348 (Why is no real title available?)
• scientific article; zbMATH DE number 3986627 (Why is no real title available?)
• scientific article; zbMATH DE number 3658971 (Why is no real title available?)
• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3578343 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 3602692 (Why is no real title available?)
• Power domains
• Processes and the denotational semantics of concurrency

Cited in

(21)

• Specification-oriented semantics for communicating processes
• Merging regular processes by means of fixed-point theory
• 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
• Four domains for concurrency
• The expressive power of indeterminate dataflow primitives
• Rendez-vous with metric semantics
• De Bakker-Zucker processes revisited
• Synchronous cooperation for explicit multi-threading
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Branching vs. Linear Time: Semantical Perspective
• Generalizing finiteness conditions of labelled transition systems
• Time-Complexity Semantics for Feasible Affine Recursions
• Three metric domains of processes for bisimulation
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• Denotational linear time semantics and sequential composition
• Comparative semantics for flow of control in logic programming without logic
• A thread calculus with molecular dynamics

This page was built for publication: Linear time and branching time semantics for recursion with merge

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