scientific article
From MaRDI portal
Publication:2760253
zbMath1035.68068MaRDI QIDQ2760253
Arend Rensink, Roberto Gorrieri
Publication date: 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (20)
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems ⋮ Towards the hierarchical verification of reactive systems ⋮ Unification and combination of a class of traversal strategies made with pattern matching and fixed-points ⋮ Interleaving vs True Concurrency: Some Instructive Security Examples ⋮ Revisiting sequential composition in process calculi ⋮ Relating trace refinement and linearizability ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ On hierarchically developing reactive systems ⋮ General Refinement, Part Two: Flexible Refinement ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Contexts, refinement and determinism ⋮ Refinement of actions for real-time concurrent systems with causal ambiguity ⋮ A logic for the stepwise development of reactive systems ⋮ Model Checking for Action Abstraction ⋮ A calculus of concurrent graph-rewriting processes ⋮ Partitioned PLTL model-checking for refined transition systems ⋮ Hybrid dynamic logic institutions for event/data-based systems ⋮ Action Refinement in Process Algebra and Security Issues ⋮ Vertical implementation
This page was built for publication:
