scientific article; zbMATH DE number 1361117

zbMath0940.68087MaRDI QIDQ4270051

Petr Jančar, Faron Moller

Publication date: 10 November 1999

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

zbMATH Keywords

labelled Petri nets

Mathematics Subject Classification ID

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

Related Items (6)

A generic framework for checking semantic equivalences between pushdown automata and finite-state automata ⋮ Unnamed Item ⋮ A Sound Algorithm for Asynchronous Session Subtyping ⋮ Deciding the Bisimilarity of Context-Free Session Types ⋮ On the computational complexity of bisimulation, redux ⋮ On the complexity of checking semantic equivalences between pushdown processes and finite-state processes

This page was built for publication: