scientific article; zbMATH DE number 1735902

MaRDI QIDQ4329263zbMATH OpenFDO

Authors Michael Winter, Peter Kempf

Publication date 15 May 2002

zbMATH Keywords

bisimulationcalculus of communicating systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1948202
• Processes and their frameworks
• On processes and structures
• An algebra of processes
• A connection between derivates and processes
• scientific article; zbMATH DE number 177812
• Functions as processes
• Process Algebra
• A context dependent equivalence between processes
• scientific article; zbMATH DE number 3903949

Cited in

(12)

• scientific article; zbMATH DE number 3984541 (Why is no real title available?)
• scientific article; zbMATH DE number 919840 (Why is no real title available?)
• Polarized process algebra with reactive composition
• An algebra for process creation
• Processes in space
• Processes in space
• Relational properties of sequential composition of coalgebras
• scientific article; zbMATH DE number 4028949 (Why is no real title available?)
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Modeling sequences within the RelView system
• Distances between processes: a pure algebraic approach
• An Ordered Category of 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 Q4329263)