scientific article
From MaRDI portal
Publication:3956374
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 (7)
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
This page was built for publication:
