A method to combine any process algebra with an algebraic specification language: the π-calculus example

Proceedings 26th Annual International Computer Software and Applications ◽

10.1109/cmpsac.2002.1045033 ◽

2003 ◽

Author(s):

G. Salaun ◽

M. Allemand ◽

C. Attiogbe

Keyword(s):

Process Algebra ◽

Specification Language ◽

Algebraic Specification ◽

Download Full-text

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

Proceedings Eighth Asia-Pacific Software Engineering Conference ◽

10.1109/apsec.2001.991491 ◽

2005 ◽

Author(s):

G. Salaun ◽

M.A. Allemand ◽

C. Attiogbe

Keyword(s):

Process Algebra ◽

Specification Language ◽

Algebraic Specification ◽

Formal Framework

Download Full-text

An Algebraic Specification Language

Algebraic Specifications in Software Engineering ◽

10.1007/978-3-642-75030-4_3 ◽

1989 ◽

pp. 66-119

Author(s):

Ivo Van Horebeek ◽

Johan Lewi

Keyword(s):

Specification Language ◽

Algebraic Specification

Download Full-text

Casl — the Common Algebraic Specification Language

Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series ◽

10.1007/978-3-540-74107-7_5 ◽

2007 ◽

pp. 241-298 ◽

Author(s):

Till Mossakowski ◽

Anne E. Haxthausen ◽

Donald Sannella ◽

Andrezj Tarlecki

Keyword(s):

Specification Language ◽

Algebraic Specification ◽

Download Full-text

The algebraic specification language LOTOS: an industrial experience

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99817 ◽

1990 ◽

Author(s):

Luigi Logrippo ◽

Tim Melanchuk ◽

Robert J. Du Wors

Keyword(s):

Specification Language ◽

Algebraic Specification ◽

Industrial Experience

Download Full-text

The algebraic specification language LOTOS: an industrial experience

ACM SIGSOFT Software Engineering Notes ◽

10.1145/99571.99817 ◽

1990 ◽

Vol 15 (4) ◽

pp. 59-66 ◽

Author(s):

Luigi Logrippo ◽

Tim Melanchuk ◽

Robert J. Du Wors

Keyword(s):

Specification Language ◽

Algebraic Specification ◽

Industrial Experience

Download Full-text

GRALPLA: An Algebraic Specification Language for Interactive Graphic Systems

Eurographics - Design, Specification and Verification of Interactive Systems ’96 ◽

10.1007/978-3-7091-7491-3_14 ◽

1996 ◽

pp. 272-291 ◽

Author(s):

J. C. Torres ◽

M. Gea ◽

F. L. Gutierrez ◽

M. Cabrera ◽

M. Rodriguez

Keyword(s):

Specification Language ◽

Algebraic Specification ◽

Interactive Graphic

Download Full-text

An algebraic specification of process algebra, including two examples

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015050 ◽

2005 ◽

pp. 507-554 ◽

Author(s):

S. Mauw

Keyword(s):

Process Algebra ◽

Algebraic Specification

Download Full-text

SOFIA: An Algebraic Specification Language for Developing Services

2014 IEEE 8th International Symposium on Service Oriented System Engineering ◽

10.1109/sose.2014.14 ◽

2014 ◽

Author(s):

Dongmei Liu ◽

Hong Zhu ◽

Ian Bayley

Keyword(s):

Specification Language ◽

Algebraic Specification

Download Full-text

Efficient implementation of an algebraic specification language

Algebraic Methods: Theory, Tools and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0015036 ◽

2005 ◽

pp. 69-90 ◽

Author(s):

H. Klaeren ◽

K. Indermark

Keyword(s):

Specification Language ◽

Efficient Implementation ◽

Algebraic Specification

Download Full-text

A new specification methodology for embedded systems based on the π-calculus process algebra

14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings. ◽

10.1109/iwrsp.2003.1207026 ◽

2004 ◽

Author(s):

S. Forster ◽

M. Fischer ◽

A. Windisch ◽

B. Balser ◽

D. Monjau

Keyword(s):

Embedded Systems ◽

Process Algebra ◽

Π Calculus ◽

Specification Methodology

Download Full-text