Travelled to:1 × USA
Collaborated with:G.Roman
Talks about:multifacet (1) distribut (1) synchron (1) process (1) system (1) specif (1) event (1) use (1)
Person: Mark S. Day
DBLP: Day:Mark_S=
Contributed to:
1984Wrote 1 papers:
- ICSE-1984-RomanD #distributed #multi #process #specification #using
- Multifaceted Distributed Systems Specification Using Processes and Event Synchronization (GCR, MSD), pp. 44–55.