Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

From MaRDI portal

Revision as of 16:57, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5896948

Jump to:navigation, search

DOI10.1007/B94667zbMath1215.68145OpenAlexW2476290002MaRDI QIDQ5896948

Bruno Blanchet, Benjamin Aziz

Publication date: 11 August 2009

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

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

Mathematics Subject Classification ID

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

Related Items (1)

The seal calculus

This page was built for publication: Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5896948&oldid=16672957"