A. Evans. Specifying & verifying concurrent systems using Z. In Proceedings of FME'94: Industrial Benefit of Formal Methods, pages 366--400. Springer-Verlag, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Duration Calculus in COOZ: A Formal Specification.. - Xiaodong Yuan.. (Correct)
....# true s=Normal # ( s Normal 60 5 ) s=Normal # 60 5 # SendOrder.executing # true . 4 Related work Z is a model based formal specification language. With active schema, Z has some capabilities of formulating concurrent systems by itself. Document [6] puts forward an approach of using merely Z notations to specify and verify concurrent systems, but it can only specify the first category of history constraints given in section 2.6. Document [7] adds real time requirements specified by discrete time in Z specification and gives their refinement ....
Evans A S. Specifying & verifying concurrent systems using Z. In: Naftalin M, Denvir T and Bertran M(eds) FME 94: Industrial benefit of formal methods Vol 873 of Lecture Notes in Computer Science: 366-400, Formal Method Europe, Springer-Verlag(1994).
Relating π-calculus to Object-Z - Taguchi, Dong, al. (2004) (Correct)
No context found.
A. Evans. Specifying & verifying concurrent systems using Z. In Proceedings of FME'94: Industrial Benefit of Formal Methods, pages 366--400. Springer-Verlag, 1994.
Relating π-calculus to Object-Z - Taguchi, Dong, Ciobanu (Correct)
No context found.
A. Evans. Specifying & verifying concurrent systems using Z. In Proceedings of FME'94: Industrial Benefit of Formal Methods, pages 366--400. Springer-Verlag, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC