scientific article
From MaRDI portal
Publication:2763695
zbMath0987.68857MaRDI QIDQ2763695
Maurizio Martelli, Marco Bozzano, Giorgio Delzanno
Publication date: 22 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) 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) Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (3)
An Assertional Language for the Verification of Systems Parametric in Several Dimensions ⋮ On the Relations between Disjunctive and Linear Logic Programming ⋮ Well-structured transition systems everywhere!
This page was built for publication: