Empty carriers: the categorical burden on logic

Authors:
B. Mahr
Affiliations:
-
Venue:
Categorical methods in computer science with aspects from topology
Year:
1989

Citing 0
Cited 3

Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Parameterized Net Classes: A Uniform Approach to Petri Net Classes

Unifying Petri Nets, Advances in Petri Nets
Abstract and behaviour module specifications

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract