scientific article; zbMATH DE number 1337887

zbMath0930.68095MaRDI QIDQ4264233

Berndt Farwer

Publication date: 16 September 1999

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

zbMATH Keywords

linear logic Petri nets

Mathematics Subject Classification ID

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

Related Items (3)

Relating State-Based and Process-Based Concurrency through Linear Logic ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Relating state-based and process-based concurrency through linear logic (full-version)

This page was built for publication: