Testing Semantics: Connecting Processes and Process Logics

DOI10.1007/11784180_24MaRDI QIDQ3623942zbMATH OpenOpenAlexFDO

Authors Dusko Pavlovic, Michael Mislove, James Worrell

Publication date 28 April 2009

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11784180_24

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Process behaviour: formulae vs. tests (extended abstract)
• Concurrent testing of processes
• scientific article; zbMATH DE number 1324657
• Formalization of test experiments
• Testing equivalence for mobile processes

Cited in

(22)

• Bialgebraic methods and modal logic in structural operational semantics
• On an effective hierarchy of communicating processes: Separation principle and testing
• Steps and traces
• Monoidal computer. III: A coalgebraic view of computability and complexity (extended abstract)
• Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
• Trace semantics via determinization
• Enriched logical connections
• Bialgebraic methods in structural operational semantics (invited talk)
• Structural operational semantics and modal logic, revisited
• Coalgebraic trace semantics via forgetful logics
• On monotone modalities and adjointness
• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
• Process behaviour: formulae vs. tests (extended abstract)
• Expressive logics for coinductive predicates
• Coalgebraic modal logic beyond sets
• Smooth coalgebra: testing vector analysis
• Duality of equations and coequations via contravariant adjunctions
• Approximating Markov processes by averaging
• Preservation and reflection of bisimilarity via invertible steps
• A categorical approach to coalgebraic fixpoint logic
• Late and early semantics coincide for testing
• Expressive quantale-valued logics for coalgebras: an adjunction-based approach

This page was built for publication: Testing Semantics: Connecting Processes and Process Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3623942)