A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Logical proof systems for concurrent programs are notoriously complex, often involving arbitrary restrictions. One of the main reasons for this is that unlike other major programming concepts parallelism does not appear to have a logical correlate. Here using a simple semantic strategy we tentatively propose one and offer an example modal proof system for a subset of Milner's SCCS. The proof rules are reminiscent of Gentzen introduction rules except that there are also introduction rules for the operators of the program language.doi:10.1007/3-540-15198-2_16 fatcat:lmabgcfgpbabnh44bth4rbsx3i