Formal framework for a generic combination of a process algebra with an algebraic specification language: An overview

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 2001, Pages 299-302

  Salaün, Gwen ^a   Allemand, Michel ^a   Attiogbé, Christian ^a  

^a UNIVERSITÉ DE NANTES   (France)

Author keywords

Algebraic specification language; Generic combination; Multi formalism specifications; Operational semantics; Process algebra

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONTEXT FREE GRAMMARS; DATA STRUCTURES; EQUIVALENCE CLASSES; SEMANTICS;

ALGEBRAIC SPECIFICATION LANGUAGE; GENERIC COMBINATION; MULTI-FORMALISM SPECIFICATIONS; OPERATIONAL SEMANTICS; PROCESS ALGEBRA;

FORMAL LANGUAGES;

EID: 0035690272     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Introduction to the ISO specification language LOTOS
2. A tutorial introduction to PVS
3. Term rewriting systems
4. A process specification formalism
5. Formal combination of the CCS process algebra with the Casl algebraic specification language
6. A practical combination of a process algebra with an algebraic specification language
7. Formal framework for the combination of process algebras with algebraic specification languages