Exp.Open
From MaRDI portal
Software:19719
No author found.
Related Items (11)
Compositional verification of concurrent systems by combining bisimulations ⋮ Translating FSP into LOTOS and networks of automata ⋮ Nested-unit Petri nets ⋮ Decomposing monolithic processes in a process algebra with multi-actions ⋮ Computation Tree Regular Logic for Genetic Regulatory Networks ⋮ CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks ⋮ Refined Interfaces for Compositional Verification ⋮ Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems ⋮ Compositional verification of asynchronous concurrent systems using CADP
This page was built for software: Exp.Open
