scientific article
From MaRDI portal
Publication:4038716
zbMath0765.68107MaRDI QIDQ4038716
Kim Guldstrand Larsen, Xin Xin Liu
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (15)
Model checking and boolean graphs ⋮ Tiles for Reo ⋮ Trace nets and process automata ⋮ A basic algebra of stateless connectors ⋮ On hierarchically developing reactive systems ⋮ A semantic framework for open processes ⋮ Automatic synthesis of real time systems ⋮ Compositional checking of satisfaction ⋮ Complete proof systems for weighted modal logic ⋮ Observational congruences for dynamically reconfigurable tile systems ⋮ Logical vs. behavioural specifications ⋮ A Connector Algebra for P/T Nets Interactions ⋮ Action transducers and timed automata ⋮ A compositional \(\mu\)-calculus proof system for statecharts processes ⋮ Dynamic connectors for concurrency
This page was built for publication:
