Informatik (15 757 Artikel)

5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

This book presents a coherent suvey on exciting developments in database semantics. The origins of the volume date back to a workshop held in Prague, Czech Republic, in 1995. The nine revised full ...

Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers

The temporal semantics of concurrent programs.- Modal logic of concurrent nondeterministic programs.- Non-deterministic system specification.- On properties preserved by contractions of concurrent ...

A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems t...

This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing an...

This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing an...

SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosop...

This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introdu...

Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Markov Chain Semantics, Termination Behavior, and Denotational Semantics

This book constitutes the refereed proceedings of the 3 International Workshop, SAVE-SD 2017, held in Perth, Australia, in April 2017, and the 4 International Workshop, SAVE-SD 2018, held in Lyon, ...

This book constitutes the refereed proceedings of the Second International Workshop on Semantics, Analytics, Visualization,- Enhancing Scholarly Data,- SAVE-SD 2016, held in Montreal, QC, Canada, i...

This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 20...

This volume constitutes the proceedings of the second International Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001)held on 6 September, 2001, in Floren...