Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM
Systematic software development using VDM
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Model-checking CSP-Z: strategy, tool support and industrial application
Science of Computer Programming - Specical issue on fundamental approaches to software engineering
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language
Workshop on Categorial Methods in Computer Science: With Aspects from Topology
Introducing Dynamic Constraints in B
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Transaction-Oriented Engineering Design And Formal Specification: A Multi-Agent Approach
Journal of Integrated Design & Process Science - Computer Supported Cooperative Work In Design
| Hi-index | 0.00 |
Formal Methods have changed software engineering development process. They have been used in implementation of software for safety-critical environments. Formal specification languages have good properties for describing a system. ACT-ONE and Communicating Sequential Process (CSP) are two specification languages we have discussed on them in this paper. This paper compares them from different aspects such as their styles, special symbols, databases, and combination with other languages. As future work, we will present a new formal model for a distributed system in our next research.