Automata, Languages and Programming
From MaRDI portal
Publication:5716788
DOI10.1007/11523468zbMath1082.68581OpenAlexW2940595899WikidataQ56656999 ScholiaQ56656999MaRDI QIDQ5716788
Alain Frisch, Giuseppe Castagna
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
Related Items (10)
Precise Subtyping for Asynchronous Multiparty Sessions ⋮ Unnamed Item ⋮ Tracing where and who provenance in linked data: a calculus ⋮ Precise subtyping for synchronous multiparty sessions ⋮ Polarized subtyping ⋮ A calculus with recursive types, record concatenation and subtyping ⋮ The semantics of entailment omega ⋮ Semantic subtyping for the pi-calculus ⋮ Unnamed Item ⋮ The Better Bubbling Lemma
Uses Software
This page was built for publication: Automata, Languages and Programming
