A natural semantic framework for ECATNets

DOI10.1023/A:1020581029371MaRDI QIDQ1866038zbMATH OpenOpenAlexFDO

Authors F. Belala, M. Bettaz

Publication date 3 April 2003

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1020581029371

zbMATH Keywords

category theoryrewriting logicconcurrent systemsECATNets

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Concurrent systems analysis using ECATNets
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• A categorical linear framework for Petri nets
• Publication:4421726
• Relating two categorical models of term rewriting

Cited in

(1)

• scientific article; zbMATH DE number 919848 (Why is no real title available?)

This page was built for publication: A natural semantic framework for ECATNets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1866038)