%0 Conference Paper %1 conf/focs/HarelKP80 %A Harel, David %A Kozen, Dexter %A Parikh, Rohit %B FOCS %D 1980 %I IEEE Computer Society %K dblp %P 129-142 %T Process Logic: Expressiveness, Decidability, Completeness %U http://dblp.uni-trier.de/db/conf/focs/focs80.html#HarelKP80

@inproceedings{conf/focs/HarelKP80, added-at = {2023-03-23T00:00:00.000+0100}, author = {Harel, David and Kozen, Dexter and Parikh, Rohit}, biburl = {https://www.bibsonomy.org/bibtex/255a332351067dda459807eea85f0a53a/dblp}, booktitle = {FOCS}, crossref = {conf/focs/FOCS21}, ee = {https://doi.ieeecomputersociety.org/10.1109/SFCS.1980.35}, interhash = {fc632abab9a2b6bee7fe70376168fade}, intrahash = {55a332351067dda459807eea85f0a53a}, keywords = {dblp}, pages = {129-142}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:20:20.000+0200}, title = {Process Logic: Expressiveness, Decidability, Completeness}, url = {http://dblp.uni-trier.de/db/conf/focs/focs80.html#HarelKP80}, year = 1980 }