A real-time process algebra with open intervals and maximal progress

MaRDI QIDQ2765925zbMATH OpenFDO

Authors Harald Fecher

Publication date 24 January 2002

Published in Nordic Journal of Computing (Search for Journal in Brave)

zbMATH Keywords

real-time process algebras

Mathematics Subject Classification ID

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

Recommendations

• Process algebra with timing: Real time and discrete time
• A family of resource-bound real-time process algebras
• Real time process algebra
• Real time process algebra with time-dependent conditions
• A process algebra for timed systems
• The real-time process algebra (RTPA)
• scientific article; zbMATH DE number 497653
• Stochastic and Real Time in Process Algebra: A Conceptual Overview
• scientific article; zbMATH DE number 1696881

Cited in

(5)

• Real time process algebra
• TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources
• Towards an algebra for real-time programs
• scientific article; zbMATH DE number 497653 (Why is no real title available?)
• Stochastic and Real Time in Process Algebra: A Conceptual Overview

This page was built for publication: A real-time process algebra with open intervals and maximal progress

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