scientific article; zbMATH DE number 1495504
From MaRDI portal
Publication:4498038
zbMath0963.68512MaRDI QIDQ4498038
Robert Valette, Brigitte Pradin-Chezalviel, Janette Cardoso
Publication date: 24 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
This page was built for publication: