Collaborated with:Austin J. Blatt R.Beckett D.Walker
Talks about:tempor (1) semant (1) formal (1) execut (1) shell (1) posix (1) net (1) kat (1)
Person: Michael Greenberg 0002
DBLP: 0002:Michael_Greenberg
Contributed to:
2016
2020Wrote 2 papers:
- PLDI-2016-BeckettGW
- Temporal NetKAT (RB, MG0, DW), pp. 386–401.
- POPL-2020-GreenbergB #execution #semantics
- Executable formal semantics for the POSIX shell (MG0, AJB), p. 30.