Automata, Languages and Programming

DOI10.1007/11523468zbMath1081.68646OpenAlexW2940595899WikidataQ56656999 ScholiaQ56656999MaRDI QIDQ5716749

Maurizio Gabbrielli, Giorgio Delzanno

Publication date: 10 January 2006

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Automata, Languages and Programming