最 低 价：￥329.50
| Invited Paper Semantical Evaluations as Monadic Seecond-Order Compatible Structure Transformations Contributed Papers Verification for Java s Reentrant Multithreading Concept On the Integration of Observability and Reachability Concepts Proving Correctness of Timed Concurrent Constraint Programs Generalised Regular MSC Languages On Compositional Reasoning in the SPi-calculus On Specification Logics for Algebra-Coalgebra Structures:Reconciling Reachability and Observability A First-Order One-Pass CPS Transformation The Demonic Product of Probabilistic Relations Minimizing Transition Systems for Name Passing Calculi:A Co-algebraic Formulation Varieties of Effects A Characterization of Families of Graphs in Which Election Is Possible Equivalence-Checking with One-Counter Automata:A Generic Method for Proving Lower Bounds Efficient Type Matching Higher-Order Pushdown Trees Are Easy Conflict Detection and Resolution In Access Control Policy Specifications Logics Admitting Final Semantics Model Checking Fixed Point Logic with Chop On Model Checking Durational Kripke Structures Model-Checking Infinite systems Generated by Ground Tree Rewriting Bounded MSC Communication The Informatic Dervative at a Compact Element Heterogeneous Development Graphs and Heterogeneous Borrowing Notions of COmputation Determine Monads A Calculus of Circular Proofs and Its Categorical Semantics Verifying Temporal Properties Using Explicit Approximants:Completeness for Context-free Processes Note on the Tableau Technique for Commutative Transition Systems A Semantic Basis for Local Reasoning Linearity and Bisimulation Author Index |
内容加载中，请稍后...
商品评论（0条）