scientific article; zbMATH DE number 1735902

zbMATH Open1009.68092MaRDI QIDQ4329263FDOQ4329263

Peter Kempf, Michael Winter

Publication date: 15 May 2002

Title of this publication is not available (Why is that?)

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
• Functions as processes
• Process Algebra
• A context dependent equivalence between processes
• scientific article; zbMATH DE number 3903949

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)

Cited In (9)

• Title not available (Why is that?)
• Relational properties of sequential composition of coalgebras
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Title not available (Why is that?)
• Modeling sequences within the RelView system
• An Ordered Category of Processes
• Polarized process algebra with reactive composition
• An algebra for process creation
• Title not available (Why is that?)

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)