FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

DOI10.1007/11590156zbMath1172.68553OpenAlexW2484051058MaRDI QIDQ5897765

Thomas Troels Hildebrandt, Jens Chr. Godskesen

Publication date: 14 November 2006

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

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

Mathematics Subject Classification ID

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

Related Items (7)

Declarative event based models of concurrency and refinement in psi-calculi ⋮ Howe’s Method for Calculi with Passivation ⋮ Basic observables for a calculus for global computing ⋮ On the expressiveness and decidability of higher-order process calculi ⋮ Characterizing contextual equivalence in calculi with passivation ⋮ Decidable Fragments of a Higher Order Calculus with Locations ⋮ Normal Bisimulations in Calculi with Passivation

This page was built for publication: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science