scientific article; zbMATH DE number 7317250

zbMath1457.68189arXiv1106.1230MaRDI QIDQ4964715

Stefan Haar, Christian Kern, Stefan Schwoon

Publication date: 3 March 2021

Full work available at URL: https://arxiv.org/abs/1106.1230

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) Data structures (68P05)

Related Items (1)

A Canonical Contraction for Safe Petri Nets

This page was built for publication: