scientific article; zbMATH DE number 1231699

zbMath0917.68158MaRDI QIDQ4223030

Didier Galmiche, Dominique Larchey-Wendling

Publication date: 10 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=17#17006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Petri netsintuitionistic linear logic

Mathematics Subject Classification ID

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

Related Items

Phase semantics and Petri net interpretation for resource-sensitive strong negation, Proof-search in type-theoretic languages: An introduction