Lawrence S Moss (Indiana University

Identifiers

• name variant Lawrence S Moss (Indiana University 0.60 · backfill

Papers (1)

1. Abstract GSOS Rules and a Modular Treatment of Recursive Definitions cs.LO · 2013 · author #3

Mentions

• 1307.2538 #3 · backfill · confidence 0.70 Lawrence S Moss (Indiana University

Frequent Coauthors

• Bloomington 1 shared papers
• Braunschweig) 1 shared papers
• Daniel Schwencke (Institute of Transportation Systems 1 shared papers
• Friedrich-Alexander Universit\"at Erlangen-) 1 shared papers
• German Aerospace Center (DLR) 1 shared papers
• IN 1 shared papers
• Stefan Milius (Lehrstuhl f\"ur Theoretische Informatik 1 shared papers
• USA) 1 shared papers