Sold Out
Book Categories |
Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations | 1 | |
Verification for Java's Reentrant Multithreading Concept | 5 | |
On the Integration of Observability and Reachability Concepts | 21 | |
Proving Correctness of Timed Concurrent Constraint Programs | 37 | |
Generalised Regular MSC Languages | 52 | |
On Compositional Reasoning in the Spi-calculus | 67 | |
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability | 82 | |
A First-Order One-Pass CPS Transformation | 98 | |
The Demonic Product of Probabilistic Relations | 114 | |
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation | 129 | |
Varieties of Effects | 144 | |
A Characterization of Families of Graphs in Which Election Is Possible | 159 | |
Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds | 172 | |
Efficient Type Matching | 187 | |
Higher-Order Pushdown Trees Are Easy | 205 | |
Conflict Detection and Resolution in Access Control Policy Specifications | 223 | |
Logics Admitting Final Semantics | 238 | |
Model Checking Fixed Point Logic with Chop | 250 | |
On Model Checking Durational Kripke Structures | 264 | |
Model-Checking Infinite Systems Generated by Ground Tree Rewriting | 280 | |
Bounded MSC Communication | 295 | |
The Informatic Derivative at a Compact Element | 310 | |
Heterogeneous Development Graphs and Heterogeneous Borrowing | 326 | |
Notions of Computation Determine Monads | 342 | |
A Calculus of Circular Proofs and Its Categorical Semantics | 357 | |
Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes | 372 | |
Note on the Tableau Technique for Commutative Transition Systems | 387 | |
A Semantic Basis for Local Reasoning | 402 | |
Linearity and Bisimulation | 417 | |
Author Index | 435 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionFoundations of Software Science and Computation Structures
X
This Item is in Your InventoryFoundations of Software Science and Computation Structures
X
You must be logged in to review the productsX
X
X
Add Foundations of Software Science and Computation Structures, , Foundations of Software Science and Computation Structures to the inventory that you are selling on WonderClubX
X
Add Foundations of Software Science and Computation Structures, , Foundations of Software Science and Computation Structures to your collection on WonderClub |