TIC: a tImed calculus

DOI10.1007/BF01211556zbMath0797.68059OpenAlexW2088903792MaRDI QIDQ1261314

Arturo Azcorra, David de Frutos, Juan Quemada

Publication date: 1 September 1994

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211556

zbMATH Keywords

timed process calculitimed bisimulations

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions ⋮ A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time ⋮ Revisiting timing in process algebra. ⋮ revTPL: The Reversible Temporal Process Language ⋮ A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets ⋮ Process algebra for hybrid systems ⋮ LOTOS extended with probabilistic behaviours ⋮ The Verus language: Representing time efficiently with BDDs ⋮ Bisimulation indexes and their applications

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Observation equivalence as a testing equivalence
• Calculi for synchrony and asynchrony
• Algebra of communicating processes with abstraction
• Testing equivalences for processes
• Real time process algebra
• CIRCAL and the representation of communication, concurrency, and time
• Recoverability of Communication Protocols--Implications of a Theoretical Study

This page was built for publication: TIC: a tImed calculus