scientific article
From MaRDI portal
zbMath0599.68023MaRDI QIDQ3735065
Laurent Cosserat, Gérard Berry
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Sound reasoning in \textit{tock}-CSP, Compositional semantics for real-time distributed computing, Concurrency and atomicity, From regular expressions to DFA's using compressed NFA's, Modal FRP for all: Functional reactive programming without space leaks in Haskell, Sémantique du parallélisme et du choix du langage Electre, Algorithmic-level specification and characterization of embedded multimedia applications with Design Trotter, A timed calculus for wireless systems, Control machines: A new model of parallelism for compositional specifications and their effective compilation, Adjoint reactive GUI programming, A compositional axiomatization of statecharts, On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS, Synchronous Kleene algebra, From regular expressions to deterministic automata, What good are digital clocks?, Dealing with zero-time transitions in axiom systems., Deciding Kleene algebra terms equivalence in Coq, Primitives for authentication in process algebras., Causal computational complexity of distributed processes
Uses Software
