Introducing the GRASPIN specification language SEGRAS
- 30 April 1991
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 15 (1) , 17-31
- https://doi.org/10.1016/0164-1212(91)90074-g
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Prototyping and analysis of non-sequential systems using predicate-event netsJournal of Systems and Software, 1991
- A sort of parametric polymorphism for algebraic specificationsJournal of Systems and Software, 1991
- Extending Ina Jo with temporal logicIEEE Transactions on Software Engineering, 1989
- Algebraic specification of modules and their basic interconnectionsJournal of Computer and System Sciences, 1987
- A 15 Year Perspective on Automatic ProgrammingIEEE Transactions on Software Engineering, 1985
- Testing Formal Specifications to Detect Design ErrorsIEEE Transactions on Software Engineering, 1985
- On Formalism in SpecificationsIEEE Software, 1985
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980