Nomadic pict
From MaRDI portal
Publication:5178879
DOI10.1145/360204.360214zbMath1323.68416OpenAlexW2021196439MaRDI QIDQ5178879
Publication date: 17 March 2015
Published in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/360204.360214
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (11)
Formal molecular biology ⋮ Basic observables for a calculus for global computing ⋮ An efficient abstract machine for safe ambients ⋮ Using bisimulation proof techniques for the analysis of distributed abstract machines ⋮ Behavioural equivalences for dynamic web data ⋮ Pict Correctness Revisited ⋮ A principled exploration of coordination models ⋮ On Bisimulation Proofs for the Analysis of Distributed Abstract Machines ⋮ Pict correctness revisited ⋮ Explicit fusions ⋮ The seal calculus
This page was built for publication: Nomadic pict
