scientific article; zbMATH DE number 1354140
From MaRDI portal
Publication:4268454
zbMath0925.68304MaRDI QIDQ4268454
Publication date: 31 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items
An elliptic Virasoro symmetry in 6d, Unnamed Item, Process calculus based upon evaluation to committed form, Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators, Process calculus based upon evaluation to committed form, Assigning types to processes, Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness, Equational rules for rewriting logic
