Using branching time temporal logic to synthesize synchronization skeletons

1982661 citationsJournal Article

Authors

Peace, Justice and strong institutions

Published in: Science of Computer Programming

Volume 2, Issue 3, pp. 241-266

Field-Weighted Citation Impact: 8.85