TIC: a tImed calculus
From MaRDI portal
Publication:1261314
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
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