Back to Search Start Over

Computation paths logic: An expressive, yet elementary, process logic

Authors :
Harel, D.
Singerman, E.
Source :
Annals of Pure and Applied Logic; 1999, Vol. 96 Issue: 1-3 p167-186, 20p
Publication Year :
1999

Details

Language :
English
ISSN :
01680072
Volume :
96
Issue :
1-3
Database :
Supplemental Index
Journal :
Annals of Pure and Applied Logic
Publication Type :
Periodical
Accession number :
ejs2934061
Full Text :
https://doi.org/10.1016/S0168-0072(98)00038-4