Encapsulating deontic and branching time specifications Journal Articles

authors

• Castro, Pablo F
• Maibaum, Thomas

status

• published 

publication date

• October 2012

has subject area

• 01 Mathematical Sciences (FoR)
• 08 Information and Computing Sciences (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Theoretical Computer Science  Journal

keywords

• BISIMULATION
• Bisimulation
• Category theory
• Computer Science
• Computer Science, Theory & Methods
• FAULT-TOLERANCE
• Formal methods
• MODULES
• SYSTEMS
• Science & Technology
• Software engineering
• Software specification
• Technology

Digital Object Identifier (DOI)

• 10.1016/j.tcs.2011.12.016

start page

• 98

end page

• 122

volume

• 455