scientific article
From MaRDI portal
zbMath0493.68017MaRDI QIDQ3956374
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent processesconcurrencycalculus of communicating systemstime informationdense time domaincontinuous interactionbehaviour of agentscontinuous binary signalformal operational semantics for agentsobserving a real time system during intervals of timesynchronous discrete interactionunbounded- nondeterminism operator
Related Items
An algebraic framework for developing and maintaining real-time systems, On continuous time agents, SAT-based verification for timed component connectors, A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes, Enriched categorical semantics for distributed calculi, Calculi for synchrony and asynchrony, Discrete time generative-reactive probabilistic processes with different advancing speeds