A complete axiomatization of timed bisimulation for a class of timed regular behaviours

DOI10.1016/0304-3975(94)00285-9MaRDI QIDQ672231zbMATH OpenOpenAlexFDO

Authors Luca Aceto, Alan Jeffrey

Publication date 27 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)00285-9

zbMATH Keywords

open terms with finite-state recursionstandard process algebrastimed bisimulation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1267564
• scientific article; zbMATH DE number 2080209
• Axiomatising timed automata
• Publication:4508304
• Axiomatising real-timed processes

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 176736 (Why is no real title available?)
• scientific article; zbMATH DE number 4119593 (Why is no real title available?)
• A complete axiomatisation for observational congruence of finite-state behaviours
• A complete inference system for a class of regular behaviours
• A process algebra for timed systems
• Algebraic laws for nondeterminism and concurrency
• CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
• Process Algebra
• Real time process algebra
• The algebra of timed processes, ATP: Theory and application

Cited in

(14)

• Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
• Time-abstracted bisimulation: Implicit specifications and decidability
• On timed alternating simulation for concurrent timed games
• Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
• Unifying behavioral equivalences of timed transition systems
• A bulk-synchronous parallel process algebra
• Bisimulation on speed: Worst-case efficiency
• Axiomatizing maximal progress and discrete time
• Timing and causality in process algebra
• scientific article; zbMATH DE number 2080209 (Why is no real title available?)
• Impossibility Results for the Equational Theory of Timed CCS
• CONCUR 2005 – Concurrency Theory
• On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
• scientific article; zbMATH DE number 1267564 (Why is no real title available?)

This page was built for publication: A complete axiomatization of timed bisimulation for a class of timed regular behaviours

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