Programming Languages and Systems
From MaRDI portal
Publication:5308701
DOI10.1007/B96702zbMath1126.68329OpenAlexW2964738244MaRDI QIDQ5308701
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96702
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) General topics in the theory of software (68N01)
Related Items (7)
A synchronous \(\pi\)-calculus ⋮ The SL synchronous language, revisited ⋮ Constructive semantics for instantaneous reactions ⋮ Resource control for synchronous cooperative threads ⋮ Model checking mobile stochastic logic ⋮ Typing noninterference for reactive programs ⋮ Reactive Concurrent Programming Revisited
Uses Software
This page was built for publication: Programming Languages and Systems
