Guarded transitions in evolving specifications

DOI10.1007/3-540-45719-4_28MaRDI QIDQ2996129zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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)