Exp.Open
From MaRDI portal
Software:19719
swMATH7702MaRDI QIDQ19719FDOQ19719
Author name not available (Why is that?)
Cited In (11)
- Nested-unit Petri nets
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
- Translating FSP into LOTOS and networks of automata
- Partial model checking using networks of labelled transition systems and Boolean equation systems
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Refined Interfaces for Compositional Verification
- Compositional verification of asynchronous concurrent systems using CADP
- Compositional verification of concurrent systems by combining bisimulations
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
- Decomposing monolithic processes in a process algebra with multi-actions
- Computation Tree Regular Logic for Genetic Regulatory Networks
This page was built for software: Exp.Open
