scientific article; zbMATH DE number 2064231

zbMATH Open1111.68542MaRDI QIDQ4461758

MacIej Szreter, Agata Półrola, Wojciech Penczek

Publication date: 18 May 2004

Title of this publication is not available (Why is that?)

zbMATH Keywords

forward-reachability graphsPseudo-bisimulating models

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Multi-core Reachability for Timed Automata

Uses Software

• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4461758)