Rule Formats for Distributivity
From MaRDI portal
Publication:3004568
DOI10.1007/978-3-642-21254-3_5zbMath1330.68184OpenAlexW1582247441MaRDI QIDQ3004568
No author found.
Publication date: 3 June 2011
Published in: Language and Automata Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://research.tue.nl/nl/publications/rule-formats-for-distributivity(668b629a-ea07-4384-bf7d-368bd0844860).html
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items (3)
SOS rule formats for idempotent terms and idempotent unary operators ⋮ Repairing time-determinism in the process algebra for hybrid systems ⋮ Rule formats for distributivity
This page was built for publication: Rule Formats for Distributivity
