Travelled to:1 × Germany
1 × Greece
1 × Italy
Collaborated with:A.Tiplea E.Mäkinen C.Matei C.Ene
Talks about:petri (2) net (2) hierarchi (1) properti (1) preorder (1) abstract (1) reactiv (1) languag (1) grammar (1) context (1)
Person: Ferucio Laurentiu Tiplea
DBLP: Tiplea:Ferucio_Laurentiu
Contributed to:
2002
19971995Wrote 4 papers:
- VMCAI-2002-TipleaT #abstraction #simulation
- A Simulation Preorder for Abstraction of Reactive Systems (FLT, AT), pp. 272–288.
- DLT-1997-TipleaM #petri net
- Jumping Petri Nets — Specific Properties (FLT, EM), pp. 461–476.
- DLT-1995-MateiT #context-free grammar
- (0, 1)-Total Pure Context-Free Grammars (CM, FLT), pp. 148–153.
- DLT-1995-TipleaE #normalisation #petri net
- Hierarchies of Petri Net Languages and a Super-Normal Form (FLT, CE), pp. 396–405.