Date of Original Version

9-1995

Type

Conference Proceeding

Abstract or Description

he paper reports on an experiment with the major linear logic programming languages defined in the recent years: Lolli, LO and Forum. As a case study, we consider the representation of a class of Petri nets, P/Tω nets, in each of these languages.

Share

COinS