Guarded transitions in evolving specifications

DOI10.1007/3-540-45719-4_28zbMATH Open1275.68095OpenAlexW1578636016MaRDI QIDQ2996129FDOQ2996129

Authors: Dusko Pavlovic, Douglas R. Smith 

Publication date: 6 May 2011

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

Full work available at URL: https://doi.org/10.1007/3-540-45719-4_28

Recommendations

• Transition specifications for dynamic abstract data types
• The existence of refinement mappings
• Program specification by typed Gurevich machines
• A categorical semantics for guarded Petri nets
• Statecharts, transition structures and transformations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Smooth coalgebra: testing vector analysis
• Bayesian authentication: quantifying security of the Hancke-Kuhn protocol

This page was built for publication: Guarded transitions in evolving specifications

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