Monographs in Theoretical Computer Science. An EATCS Series – serie

Domain Science and Engineering

A Foundation for Software Development

Domain Science and Engineering

A Foundation for Software Development

Coping with Selfishness in Congestion Games

Analysis and Design via LP Duality

Coping with Selfishness in Congestion Games

Analysis and Design via LP Duality

Words and Graphs

Words and Graphs

Process Algebras for Petri Nets

The Alphabetization of Distributed Systems

Process Algebras for Petri Nets

The Alphabetization of Distributed Systems

Confluent String Rewriting

Parsing Theory

Volume I Languages and Parsing

Algorithms in Combinatorial Geometry

Fundamentals of Algebraic Graph Transformation

Theoretical Aspects of Local Search

Semantic Integration of Heterogeneous Software Specifications

Duration Calculus

A Formal Approach to Real-Time Systems

Incomplete Information: Structure, Inference, Complexity

Theory of Semi-Feasible Algorithms

Process Algebra with Timing

Compiler Generators

What They Can Do, What They Might Do, and What They Will Probably Never Do

Parsing Theory

Volume II LR(k) and LL(k) Parsing

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

First-Order Programming Theories

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 2

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 1

Restricted-Orientation Convexity

Petri Net Algebra

Time-Dependent Scheduling

Logics of Specification Languages

Unfoldings

A Partial-Order Approach to Model Checking