scientific article; zbMATH DE number 1755151

MaRDI QIDQ4535186zbMATH OpenFDO

Authors L. J. Steggles

Publication date 13 June 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2075/20750363

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1973125
• scientific article; zbMATH DE number 1536566
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• The expressive power of time Petri nets
• scientific article; zbMATH DE number 3921987
• Timed rewriting logic with an application to object-based specification
• scientific article; zbMATH DE number 1070625
• Timed Petri nets and temporal linear logic
• The Temporal Logic of Rewriting: A Gentle Introduction

Cited in

(2)

• Rewriting logic: Roadmap and bibliography
• scientific article; zbMATH DE number 1973125 (Why is no real title available?)

Describes a project that uses

Uses Software

• ELAN

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