Process Extraction in an Abstract Logic of Events [1/2]

Опубликовано 6 сентября 2016, 6:22

In 2003 Mark Bickford and I defined and formalized a logic of events for specifying distributed computing tasks and for reasoning about distributed systems.  The Logic of Events is a very abstract account of distributed computing that applies to biological processes as well as to processes in an asynchronous message passing network computing model. Although the logic is very abstract, we can show that it is not