Programming languages and applied logic
Results
200 Problems on Languages, Automata, and Computation
200 Problems on Languages, Automata, and Computation
200 Problems on Languages, Automata, and Computation
A Distributed Pi-Calculus
A Distributed Pi-Calculus
A Framework for Priority Arguments
A Framework for Priority Arguments
A Practical Handbook for Software Development
A Practical Handbook for Software Development
A Practical Handbook for Software Development
A Practical Introduction to Denotational Semantics
A Practical Introduction to Denotational Semantics
A Theory of Indexing
A Unifying Framework for Structured Analysis and Design Models
A Unifying Framework for Structured Analysis and Design Models
A Unifying Framework for Structured Analysis and Design Models
Action Refinement in Process Algebras
Action Semantics
Action Semantics
Action Semantics
Ada Components: Libraries and Tools
Ada for Distributed Systems
Ada for Multi-Microprocessors
