Michael R Laurence

Identifiers

• name variant Michael R Laurence 0.60 · backfill

Papers (3)

1. Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas cs.LO · 2017 · author #3
2. Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras cs.FL · 2017 · author #1
3. Complexity of Data Dependence problems for Program Schemas with Concurrency cs.CC · 2010 · author #3

Mentions

• 1007.3878 #3 · backfill · confidence 0.70 Michael R Laurence

Frequent Coauthors

• Robert M Hierons 2 shared papers
• Sebastian Danicic 2 shared papers
• Georg Struth 1 shared papers