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

(21)

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

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)