Synchronous composition of egalitarian rewrite systems, with synchronization by equality of partial properties on states and transitions, is formalized and shown coherent with the split translation back to standard rewriting logic.
In Communi- cating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers , A
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Compositional specification in rewriting logic
Synchronous composition of egalitarian rewrite systems, with synchronization by equality of partial properties on states and transitions, is formalized and shown coherent with the split translation back to standard rewriting logic.