Вы здесь

Главная

Mathematical Foundations of Computer Science 1996

Связанные издания:

A Sequent Calculus for Subtyping Polymorphic Types
Causal Testing
Dynamic Graphs
From Static to Dynamic Abstract Data-Types
Linear Time Temporal Logics over Mazurkiewicz Traces
Logic of Predicates with Explicit Substitutions
Mind the Gap! Abstract Versus Concrete Models of Specifications
Partial Order Reduction: Model-Checking Using Representatives
Polynomial Automaticity, Context-Free Languages, and Fixed Points of Morphisms (Extended Abstract)
Probabilistic Metric Semantics for a Simple Language with Recursion
Simulation of Specification Statements in Hoare Logic
Specification and Verification of Timed Lazy Systems
Specifying and Verifying Parametric Processes
Theory and Practice of Action Semantics