Testing Semantics: Connecting Processes and Process Logics

DOI10.1007/11784180_24zbMATH Open1236.68065OpenAlexW1508750282MaRDI QIDQ3623942FDOQ3623942

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

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

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)

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)
• Structural operational semantics and modal logic, revisited
• On an effective hierarchy of communicating processes: Separation principle and testing
• Approximating Markov processes by averaging
• Title not available (Why is that?)
• 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)