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

Details

Language :

English

ISBNs :

9780769517278

Database :

Complementary Index

Journal :

Proceedings 26th Annual International Computer Software & Applications

Publication Type :

Conference

Accession number :

81211475

Full Text :

https://doi.org/10.1109/CMPSAC.2002.1045033