Seminar on Concurrency
Brookes
Broschiertes Buch

Seminar on Concurrency

Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984

Mitarbeit: Brookes, Stephen D.; Roscoe, Andrew W.; Winskel, Glynn
Versandkostenfrei!
Versandfertig in 1-2 Wochen
39,99 €
inkl. MwSt.
PAYBACK Punkte
20 °P sammeln!
On the axiomatic treatment of concurrency.- Hierarchical development of concurrent systems in a temporal logic framework.- On the composition and decomposition of assertions.- Process algebra with asynchronous communication mechanisms.- Axioms for memory access in asynchronous hardware systems.- Executing temporal logic programs.- The static derivation of concurrency and its mechanized certification.- Semantic considerations in the actor paradigm of concurrent computation.- The pomset model of parallel processes: Unifying the temporal and the spatial.- Lectures on a calculus for communicating ...