scientific article
From MaRDI portal
Publication:2766586
zbMath0986.68684MaRDI QIDQ2766586
Publication date: 17 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (9)
Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens ⋮ Question-guided stubborn set methods for state properties ⋮ Two Decades of Maude ⋮ The sweep-line state space exploration method ⋮ Model Checking Data Flows in Concurrent Network Updates ⋮ Directed reachability for infinite-state systems ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ Towards verification of computation orchestration ⋮ Some complexity results for stateful network verification
Uses Software
This page was built for publication:
