scientific article; zbMATH DE number 4119610

MaRDI QIDQ4733394zbMATH OpenFDO

Authors W. P. Weijland

Publication date 1989

zbMATH Keywords

concurrent processesprocess algebra

Mathematics Subject Classification ID

Theory of operating systems (68N25) Abstract data types; algebraic specification (68Q65) Theory of computing (68Q99)

Recommendations

• Process algebra for synchronous communication
• Algèbre de processus et synchronisation
• scientific article; zbMATH DE number 3903948
• scientific article; zbMATH DE number 3978362
• Publication:4728237

Cited in

(14)

• \(\tau\)-bisimulations and full abstraction for refinement of actions
• An algebraic model of synchronous systems
• Process calculus based upon evaluation to committed form
• Branching bisimilarity is an equivalence indeed!
• Ordered SOS process languages for branching and eager bisimulations
• Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
• scientific article; zbMATH DE number 5967673 (Why is no real title available?)
• scientific article; zbMATH DE number 3854402 (Why is no real title available?)
• Process algebra for synchronous communication
• Continuous Additive Algebras and Injective Simulations of Synchronization Trees
• Inheritance of behavior
• Inheritance of workflows: An approach to tackling problems related to change
• Algèbre de processus et synchronisation
• On the observational theory of the CPS-calculus

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 Q4733394)