Add to ORKGThis paper describes a translation of full LOTOS into Z. A common semantic model is defined and the translation is proved correct with respect to the semantics. The motivation for such a translation is the use of multiple viewpoints for specifying complex systems defined by the reference model of the Open Distributed Processing (ODP) standardization initiative
LOTOS is a specification language that has been specifically developed for the formal description of...
ISBN 9780412797705Publisher’s permission requested and deniedThe computational viewpoint contained w...
This paper compares the LOTOS and Z refinement relations. The motivation for such a comparison is th...
This paper describes a translation of full LOTOS into Z A common semantic model is dened and the tr...
This paper presents a translation between the formal description technique LOTOS and the object-orie...
This paper compares the LOTOS and Z renement relations The motivation for such a comparison is the ...
This paper gives a brief insight into the current work on the development of an architectural semant...
This is a pre-print of a paper from Proceedings of OOPSLA 94: Workshop on Precise Behavioural Specif...
This paper gives a brief insight into the current work on the development of an architectural seman...
LOTOS is a specification language that has been specifically developed for the formal description of...
LOTOS is a specification language that has been specifically developed for the formal description of...
LOTOS is a specification language that has been specifically developed for the formal description of...
LOTOS is a specification language that has been specifically developed for the formal description of...
LOTOS is a specification language that has been specifically developed for the formal description of...
LOTOS is a specification language that has been specifically developed for the formal description of...
LOTOS is a specification language that has been specifically developed for the formal description of...
ISBN 9780412797705Publisher’s permission requested and deniedThe computational viewpoint contained w...
This paper compares the LOTOS and Z refinement relations. The motivation for such a comparison is th...
This paper describes a translation of full LOTOS into Z A common semantic model is dened and the tr...
This paper presents a translation between the formal description technique LOTOS and the object-orie...
This paper compares the LOTOS and Z renement relations The motivation for such a comparison is the ...
This paper gives a brief insight into the current work on the development of an architectural semant...
This is a pre-print of a paper from Proceedings of OOPSLA 94: Workshop on Precise Behavioural Specif...
This paper gives a brief insight into the current work on the development of an architectural seman...
LOTOS is a specification language that has been specifically developed for the formal description of...
LOTOS is a specification language that has been specifically developed for the formal description of...
LOTOS is a specification language that has been specifically developed for the formal description of...
LOTOS is a specification language that has been specifically developed for the formal description of...
LOTOS is a specification language that has been specifically developed for the formal description of...
LOTOS is a specification language that has been specifically developed for the formal description of...
LOTOS is a specification language that has been specifically developed for the formal description of...
ISBN 9780412797705Publisher’s permission requested and deniedThe computational viewpoint contained w...
This paper compares the LOTOS and Z refinement relations. The motivation for such a comparison is th...