A natural semantic framework for ECATNets

DOI10.1023/A:1020581029371zbMATH Open1049.68083OpenAlexW1496752053MaRDI QIDQ1866038

M. Bettaz, F. Belala

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

concurrent systemscategory theoryrewriting logicECATNets

Mathematics Subject Classification ID

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

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)