Comparing LOTOS and Z refinement relations

Authors:
J. Derrick;H. Bowman;E. A. Boiten;M. W. A. Steen
Affiliations:
-;-;-;-
Venue:
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Year:
1996

Issues in multiparadigm viewpoint specification

ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Comparing refinements for failure and bisimulation semantics

Fundamenta Informaticae
Retrenchment, Refinement, and Simulation

ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
A Relational Framework For The Integration Of Specifications

Journal of Integrated Design & Process Science
Engineering and theoretical underpinnings of retrenchment

Science of Computer Programming
A theory of contracts for Web services

ACM Transactions on Programming Languages and Systems (TOPLAS)
Translating LOTOS to object-Z

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Comparing Refinements for Failure and Bisimulation Semantics

Fundamenta Informaticae
From ODP viewpoint consistency to Integrated Formal Methods

Computer Standards & Interfaces

Hi-index	0.00