8 search results - page 1 / 2 » lics 1990 |
LICS
1990
IEEE
13 years 9 months ago
1990
IEEE
LICS
1990
IEEE
13 years 9 months ago
1990
IEEE
LICS
1990
IEEE
13 years 9 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
LICS
1990
IEEE
13 years 9 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
LICS
1990
IEEE
13 years 9 months ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...