History
1
4

Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 4 of 4 total

Math$\int\$pad system for on-line preparation of mathematical documents. (English)
Softw. Concepts Tools 18, No. 2, 80-89 (1997).
Classification: I.7.2 I.1.1
1
A comparison of simulation techniques and algebraic techniques for verifying concurrent systems. (English)
Formal Asp. Comput. 7, No. 3, 231-265 (1995).
Classification: F.1.1 I.6.3 I.1.1
2
Basic process algebra with iteration: Completeness of its equational axioms. (English)
Comput. J. 37, No. 4, 259-267 (1994).
Classification: F.3.1 F.3.2 F.4.2 I.1.1 F.4.1
3
Process algebra with iteration and nesting. (English)
Comput. J. 37, No. 4, 243-258 (1994).
Classification: F.3.2 F.3.1 I.1.1 F.4.1
4
first | previous | 1 | next | last

Result 1 to 4 of 4 total