Publication:3956374
From MaRDI portal
zbMath0493.68017MaRDI QIDQ3956374
Publication date: 1982
concurrent processes; concurrency; calculus of communicating systems; time information; dense time domain; continuous interaction; behaviour of agents; continuous binary signal; formal operational semantics for agents; observing a real time system during intervals of time; synchronous discrete interaction; unbounded- nondeterminism operator
68N25: Theory of operating systems
Related Items
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes, An algebraic framework for developing and maintaining real-time systems, On continuous time agents, SAT-based verification for timed component connectors, Calculi for synchrony and asynchrony, Enriched categorical semantics for distributed calculi, Discrete time generative-reactive probabilistic processes with different advancing speeds