scientific article; zbMATH DE number 2084347

zbMATH Open1073.68692MaRDI QIDQ3043830FDOQ3043830

Berndt Farwer, Irina A. Lomazova

Publication date: 6 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2244/22440255.htm

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

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (10)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Comparing concepts of object Petri net formalisms
• Title not available (Why is that?)
• Operational-objective modeling of dynamics of organizational systems development via Petri nets
• A Petri Net Based Modeling of Active Objects and Futures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Resource Bisimilarity in Petri Nets is Decidable
• Title not available (Why is that?)

   Recommendations

• Comparing concepts of object Petri net formalisms 👍 👎
• Title not available (Why is that?) 👍 👎
• Integrated Formal Methods 👍 👎
• Title not available (Why is that?) 👍 👎
• From Coloured Petri Nets to Object Petri Nets 👍 👎

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 Q3043830)