Buch, Englisch, 346 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 615 g
Reihe: Workshops in Computing
Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23¿25 July 1990, University of Leicester, UK
Buch, Englisch, 346 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 615 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19625-9
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.