scientific article
From MaRDI portal
Publication:2752053
zbMath0995.68064arXiv1512.06233MaRDI QIDQ2752053
Publication date: 21 October 2001
Full work available at URL: https://arxiv.org/abs/1512.06233
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Relating State-Based and Process-Based Concurrency through Linear Logic ⋮ Relating state-based and process-based concurrency through linear logic (full-version)
This page was built for publication:
