John Jeffrey

Publication Activity (10 Years)

Years Active: 1990-1996
Publications (10 Years): 0

Publications

John Jeffrey, Jorge Lobo, Tadao Murata
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. IEEE Trans. Knowl. Data Eng. 8 (2) (1996)
John Jeffrey, Tadao Murata
A High-Level Petri Net for a Subset of FGHC. SEKE (1990)