Automata, Languages and Programming
Broschiertes Buch

Automata, Languages and Programming

10th Colloquium Barcelona, Spain, July 18-22, 1983

Herausgegeben von Diaz, J.
Versandkostenfrei!
Versandfertig in 1-2 Wochen
40,99 €
inkl. MwSt.
PAYBACK Punkte
20 °P sammeln!
On semantic foundations for applicative multiprogramming.- An axiomatization of the intermittent assertion method using temporal logic.- Topological characterizations of infinite behaviours of transition systems.- Linear time and branching time semantics for recursion with merge.- Processes and a fair semantics for the ADA rendez-vous.- Conditional dependencies for horizontal decompositions.- On the relationship of CCS and CSP.- Behavioural equivalence relations induced by programming logics.- Lower bounds for constant depth circuits for prefix problems.- Test sets for morphisms with bounded d...