Travelled to:2 × USA
Collaborated with:B.W.Wade C.J.Prenner M.M.Astrahan M.W.Blasgen D.D.Chamberlin K.P.Eswaran J.Gray W.F.K.III R.A.Lorie P.R.McJones J.W.Mehl G.R.Putzolu I.L.Traiger V.Watson
Talks about:system (2) relat (2) synchron (1) approach (1) process (1) databas (1) verifi (1) specif (1) mechan (1) formal (1)
Person: Patricia P. Griffiths
DBLP: Griffiths:Patricia_P=
Contributed to:
1976
1976
1976Wrote 3 papers:
- POPL-1976-GriffithsP #process #specification #verification
- Verifying Formal Specifications of Synchronous Processes (PPG, CJP), pp. 192–208.
- SIGMOD-1976-GriffithsW #database #relational
- An Authorization Mechanism for a Relational Data Base System (PPG, BWW), p. 51.
- VLDB-J-1975-AstrahanBCEGGKLMMPTWW76 #approach #database #relational
- System R: Relational Approach to Database Management (MMA, MWB, DDC, KPE, JG, PPG, WFKI, RAL, PRM, JWM, GRP, ILT, BWW, VW), pp. 97–137.