Algebra of timed frames

DOI10.1080/00207169608804514zbMath1001.68518OpenAlexW2016061096MaRDI QIDQ2710790

C. A. Middelburg, Jan A. Bergstra, W. J. Fokkink

Publication date: 19 December 2002

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207169608804514

zbMATH Keywords

process algebradiscrete time\(\sigma\)-bisimulationconditional transitionsframe algebrasignal inserted statestimed frames

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Process algebra for hybrid systems

Cites Work

• The algebra of timed processes, ATP: Theory and application
• Logic of transition systems
• Discrete time process algebra
• Process algebra for synchronous communication
• Process Algebra
• Modal Logic, Transition Systems and Processes

This page was built for publication: Algebra of timed frames