Absolute versus relative time in process algebras.

DOI10.1006/INCO.1999.2821MaRDI QIDQ1854325zbMATH OpenOpenAlexFDO

Authors Flavio Corradini

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1999.2821

zbMATH Keywords

real-time systemsclosed interval process algebratemporal CCSTimed process algebras

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1231594
• Formal Methods for the Design of Real-Time Systems
• scientific article; zbMATH DE number 2060758
• Timing and causality in process algebra
• ``Closed interval process algebra versus ``interval process algebra

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 4119652 (Why is no real title available?)
• scientific article; zbMATH DE number 795666 (Why is no real title available?)
• A calculus of mobile processes. I
• A process algebra for timed systems
• A theory of processes with durational actions
• A timed model for communicating sequential processes
• An efficiency preorder for processes
• Branching time and abstraction in bisimulation semantics
• Dynamic matrices and the cost analysis of concurrent programs
• On performance congruences for process algebras
• Real time process algebra
• Timed testing of concurrent systems
• Timing and causality in process algebra
• Transition system specifications with negative premises

Cited in

(14)

• revTPL: The Reversible Temporal Process Language
• Strategy based semantics for mobility with time and access permissions
• scientific article; zbMATH DE number 1876862 (Why is no real title available?)
• Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
• Formal Modeling and Analysis of Timed Systems
• Duplication of constants in process algebra
• Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
• Formal Methods for the Design of Real-Time Systems
• The expressive power of urgent, lazy and busy-waiting actions in timed processes
• scientific article; zbMATH DE number 2060758 (Why is no real title available?)
• Timed mobility in process algebra and Petri nets
• A Comparative Study of STOPA and RTPA
• On the semantics of durational actions
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences

This page was built for publication: Absolute versus relative time in process algebras.

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