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ț: 314.95 lei
- 20% Preț: 315.74 lei
- 20% Preț: 312.46 lei
- 20% Preț: 318.86 lei
- 20% Preț: 318.26 lei
- 20% Preț: 316.04 lei
- 20% Preț: 314.19 lei
- 20% Preț: 310.57 lei
- 20% Preț: 334.33 lei
- 20% Preț: 312.76 lei
- 20% Preț: 322.14 lei
- 20% Preț: 321.53 lei
- 20% Preț: 321.21 lei
- 20% Preț: 318.26 lei
- 20% Preț: 314.81 lei
- 20% Preț: 314.63 lei
- 20% Preț: 309.81 lei
- 20% Preț: 316.22 lei
- 20% Preț: 324.96 lei
- 20% Preț: 610.64 lei
- 20% Preț: 324.00 lei
- 20% Preț: 313.39 lei
- 20% Preț: 310.12 lei
- 20% Preț: 321.96 lei
- 20% Preț: 323.24 lei
- 20% Preț: 318.71 lei
- 20% Preț: 321.53 lei
- 20% Preț: 318.26 lei
- 20% Preț: 621.41 lei
- 20% Preț: 313.22 lei
- 20% Preț: 312.76 lei
- 20% Preț: 319.01 lei
- 20% Preț: 320.27 lei
- 20% Preț: 327.31 lei
- 20% Preț: 312.29 lei
- 20% Preț: 319.48 lei
- 20% Preț: 312.91 lei
- 20% Preț: 318.86 lei
- 20% Preț: 320.73 lei
- 20% Preț: 316.04 lei
- 20% Preț: 320.60 lei
- 20% Preț: 323.07 lei
- 20% Preț: 315.11 lei
- 20% Preț: 620.00 lei
- 20% Preț: 316.97 lei
- 20% Preț: 316.97 lei
- 20% Preț: 316.52 lei
- 20% Preț: 319.01 lei
- 20% Preț: 316.97 lei
Preț: 320.11 lei
Preț vechi: 400.14 lei
-20% Nou
Puncte Express: 480
Preț estimativ în valută:
61.28€ • 66.40$ • 51.18£
61.28€ • 66.40$ • 51.18£
Carte tipărită la comandă
Livrare economică 12-26 decembrie
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.