scientific article; zbMATH DE number 1956578
From MaRDI portal
Publication:4417919
zbMath1031.68548MaRDI QIDQ4417919
Vineet Kahlon, E. Allen Emerson
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190144.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)
Related Items (6)
Model Checking Parameterized Systems ⋮ \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms ⋮ On one application of computations with oracle ⋮ Verifying Parameterized taDOM+ Lock Managers ⋮ Model Checking Parameterised Multi-token Systems via the Composition Method ⋮ Negotiations and Petri Nets
Uses Software
This page was built for publication:
