Applications and Theory of Petri Nets 2005

From MaRDI portal

Revision as of 04:45, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5713510

Jump to:navigation, search

DOI10.1007/b136988zbMath1128.68384OpenAlexW2507030177MaRDI QIDQ5713510

K. L. McMillan

Publication date: 14 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b136988

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Interpolation, preservation, definability (03C40)

Related Items (1)

Quantifier-free interpolation in combinations of equality interpolating theories

This page was built for publication: Applications and Theory of Petri Nets 2005

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5713510&oldid=30450677"