%0 Conference Paper %1 conf/icalp/HarelS97 %A Harel, David %A Singerman, Eli %B ICALP %D 1997 %E Degano, Pierpaolo %E Gorrieri, Roberto %E Marchetti-Spaccamela, Alberto %I Springer %K dblp %P 408-418 %T Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). %U http://dblp.uni-trier.de/db/conf/icalp/icalp97.html#HarelS97 %V 1256 %@ 3-540-63165-8

@inproceedings{conf/icalp/HarelS97, added-at = {2017-05-22T00:00:00.000+0200}, author = {Harel, David and Singerman, Eli}, biburl = {https://www.bibsonomy.org/bibtex/2451daa87569673287ab846dae9c6a5d1/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1997}, editor = {Degano, Pierpaolo and Gorrieri, Roberto and Marchetti-Spaccamela, Alberto}, ee = {https://doi.org/10.1007/3-540-63165-8_197}, interhash = {ae4cc7406364724e591b23c2bd217321}, intrahash = {451daa87569673287ab846dae9c6a5d1}, isbn = {3-540-63165-8}, keywords = {dblp}, pages = {408-418}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:29:10.000+0200}, title = {Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version).}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp97.html#HarelS97}, volume = 1256, year = 1997 }