The foundations of program verification
The foundations of program verification
Communicating sequential processes
Communicating sequential processes
Journal of the ACM (JACM)
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Communications of the ACM
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Elements of interaction: Turing award lecture
Communications of the ACM
A calculus of mobile processes, I
Information and Computation
Handbook of logic in computer science (vol. 2)
Handbook of logic in computer science (vol. 4)
Evolving algebras 1993: Lipari guide
Specification and validation methods
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
A Formal Framework for Modules with State
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
The Linear Time-Branching Time Spectrum (Extended Abstract)
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Components, Contracts, and Connectors for the Unified Modelling Language UML
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Observation and abstract behaviour in specification and implementation of state-based systems
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
| Hi-index | 0.00 |
Objects can be the structuring mechanism, i.e. the main building blocks of a system. In this paper a computation model formalising the notion of an object is presented which can be used for defining state-based systems. It can be used for both describing semantics of programming languages and defining semantics for a specification logic. A general, formalised and extendible notion of a model for state-based systems is the basic prerequisite for any attempt towards formal language engineering, i.e. for defining and integrating languages in a formal way. Functional aspects are integrated in the presented model. It will be shown that a transition system emerges from the given definition of an object as an entity with state, which may be modified by procedures. Therefore, concurrency can also be dealt with in this approach.