7 search results - page 2 / 2 » tacs 1991 |
69
Voted
TACS
1991
Springer
15 years 26 days ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
72
Voted
TACS
1991
Springer
15 years 26 days ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...