Travelled to:1 × USA
Collaborated with:P.P.Griffiths
Talks about:synchron (1) process (1) verifi (1) specif (1) formal (1)
Person: Charles J. Prenner
DBLP: Prenner:Charles_J=
Contributed to:
1976Wrote 1 papers:
- POPL-1976-GriffithsP #process #specification #verification
- Verifying Formal Specifications of Synchronous Processes (PPG, CJP), pp. 192–208.