2 papers
cs.LO2017
Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas
Sebastian Danicic, Robert M Hierons, Michael R Laurence
A program schema defines a class of programs, all of which have identical statement structure, but whose functions and predicates may differ. A schema thus defines an entire class…
cs.FL2017
Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras
Michael R Laurence, Georg Struth
Pomsets constitute one of the most basic models of concurrency. A pomset is a generalisation of a word over an alphabet in that letters may be partially ordered. A term using t…