Nomadic pict
From MaRDI portal
Publication:5178879
DOI10.1145/360204.360214zbMath1323.68416MaRDI 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
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Pict Correctness Revisited, A principled exploration of coordination models, An efficient abstract machine for safe ambients, Using bisimulation proof techniques for the analysis of distributed abstract machines, Pict correctness revisited, Formal molecular biology, Basic observables for a calculus for global computing, Behavioural equivalences for dynamic web data, Explicit fusions, The seal calculus, On Bisimulation Proofs for the Analysis of Distributed Abstract Machines