High-level Petri net semantics of concurrent and non-concurrent logic programs

• Authors:

• John Michael Jeffrey

• Affiliations:

• -

• Venue:
• High-level Petri net semantics of concurrent and non-concurrent logic programs
• Year:
• 1993