Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK: Workshops in Computing
Editat de Marta Z. Kwiatkowska, Michael W. Shields, Richard M. Thomasen Limba Engleză Paperback – 23 iul 1990
Din seria Workshops in Computing
- 20% Preț: 332.39 lei
- 20% Preț: 333.22 lei
- 20% Preț: 329.76 lei
- 20% Preț: 336.54 lei
- 20% Preț: 335.88 lei
- 20% Preț: 333.54 lei
- 20% Preț: 331.58 lei
- 20% Preț: 327.77 lei
- 20% Preț: 352.86 lei
- 20% Preț: 330.10 lei
- 20% Preț: 339.99 lei
- 20% Preț: 339.34 lei
- 20% Preț: 339.00 lei
- 20% Preț: 335.88 lei
- 20% Preț: 332.24 lei
- 20% Preț: 332.06 lei
- 20% Preț: 326.97 lei
- 20% Preț: 333.72 lei
- 20% Preț: 342.96 lei
- 20% Preț: 644.66 lei
- 20% Preț: 341.95 lei
- 20% Preț: 330.75 lei
- 20% Preț: 327.29 lei
- 20% Preț: 339.80 lei
- 20% Preț: 341.15 lei
- 20% Preț: 336.35 lei
- 20% Preț: 339.34 lei
- 20% Preț: 335.88 lei
- 20% Preț: 656.03 lei
- 20% Preț: 330.56 lei
- 20% Preț: 330.10 lei
- 20% Preț: 336.67 lei
- 20% Preț: 338.03 lei
- 20% Preț: 345.44 lei
- 20% Preț: 329.58 lei
- 20% Preț: 337.20 lei
- 20% Preț: 330.24 lei
- 20% Preț: 336.54 lei
- 20% Preț: 338.49 lei
- 20% Preț: 333.54 lei
- 20% Preț: 338.35 lei
- 20% Preț: 340.98 lei
- 20% Preț: 332.57 lei
- 20% Preț: 654.55 lei
- 20% Preț: 334.53 lei
- 20% Preț: 334.53 lei
- 20% Preț: 334.05 lei
- 20% Preț: 336.67 lei
- 20% Preț: 334.53 lei
Preț: 337.85 lei
Preț vechi: 422.31 lei
-20% Nou
Puncte Express: 507
Preț estimativ în valută:
64.66€ • 66.70$ • 54.72£
64.66€ • 66.70$ • 54.72£
Carte tipărită la comandă
Livrare economică 05-19 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540196259
ISBN-10: 3540196250
Pagini: 356
Ilustrații: VIII, 346 p. 1 illus.
Greutate: 0.57 kg
Ediția:1st Edition.
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing
Locul publicării:London, United Kingdom
ISBN-10: 3540196250
Pagini: 356
Ilustrații: VIII, 346 p. 1 illus.
Greutate: 0.57 kg
Ediția:1st Edition.
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing
Locul publicării:London, United Kingdom
Public țintă
ResearchCuprins
A General Tableau Technique for Verifying Temporal Properties of Concurrent Programs (Extended Abstract).- Traps, Free Choice and Home States (Extended Abstract).- A Denotational Semantics for Synchronous and Asynchronous Behavior with Multiform Time (Extended Abstract).- From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic.- Negations of Transactions and Their Use in the Specification of Dynamic and Deontic Integrity Constraints.- Experimenting with Process Equivalence.- Iteration Theories of Synchronization Trees.- Towards a Theory of Parallel Algorithms on Concrete Data Structures.- Causal Automata I: Confluence ? (AND, OR) Causality.- A Simple Generalization of Kahn’s Principle to Indeterminate Dataflow Networks (Extended Abstract).- Defining Fair Merge as a Colimit: Towards a Fixed-Point Theory for Indeterminate Dataflow.- High-Level Nets for Dynamic Dining Philosophers Systems.- Formalizing the Behaviour of Parallel Object-Based Systems by Petri Nets.- High Level Distributed Transition Systems.- A Compositional Axiomatisation of Safety and Liveness Properties for Statecharts.- Defining Conditional Independence Using Collapses.- Timed Concurrent Processes.- Approaching a Real-Timed Concurrency Theory.- On Global-Time and Inter-Process Communication.- Modelling Reactive Hardware Processes Using Partial Orders.- Author Index.