scientific article; zbMATH DE number 1884416

zbMath1007.68513MaRDI QIDQ4798038

Leïla Kloul, Jane Hillston

Publication date: 18 March 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2165/21650120.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Formal techniques for performance analysis: blending SAN and PEPA ⋮ Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations ⋮ State-Aware Performance Analysis with eXtended Stochastic Probes ⋮ Block SOR for Kronecker structured representations

Uses Software

• PEPA

This page was built for publication: