Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 2064221 - MaRDI portal

scientific article; zbMATH DE number 2064221

From MaRDI portal

Publication:4461748

Jump to:navigation, search

zbMath1111.68536MaRDI QIDQ4461748

Hanna Klaudel, Maciej Koutny, Franck Pommereau, Raymond Devillers

Publication date: 18 May 2004

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

zbMATH Keywords

process algebra structured operational semantics algebraic Petri net

Mathematics Subject Classification ID

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

Related Items (5)

Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Nested-unit Petri nets ⋮ Timed mobility in process algebra and Petri nets ⋮ A compositional Petri net translation of general \(\pi\)-calculus terms ⋮ M-nets: a survey

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4461748&oldid=18520807"