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

Details

Language :

English

ISBNs :

9780769514086

Database :

Complementary Index

Journal :

Proceedings Eighth Asia-Pacific Software Engineering Conference

Publication Type :

Conference

Accession number :

81214434

Full Text :

https://doi.org/10.1109/APSEC.2001.991491