Publications
Publications found: 402
- On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets
G. Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet
Published on PNPM, 1987, Pages: 136-145 - Effectively Given Domains and Lamba-Calculus Models
Paola Giannini, Giuseppe Longo
Published on Information and Control 62, 1984, Pages: 36 - 63