Travelled to:1 × Germany
1 × Spain
1 × United Kingdom
Collaborated with:C.B.Thanh F.Pommereau M.Koutny Z.Duan
Talks about:semant (2) petri (2) net (2) preemption (1) composit (1) modular (1) concurr (1) algebra (1) tempor (1) orient (1)
Person: Hanna Klaudel
DBLP: Klaudel:Hanna
Contributed to:
2014
20042000Wrote 3 papers:
- LATA-2014-KlaudelKD #algebra #logic #semantics
- Interval Temporal Logic Semantics of Box Algebra (HK, MK, ZD), pp. 441–452.
- IFM-2004-ThanhK #composition #modelling #object-oriented #petri net
- Object-Oriented Modelling with High-Level Modular Petri Nets (CBT, HK), pp. 287–306.
- IFM-2000-KlaudelP #composition #concurrent #petri net #semantics
- A Concurrent and Compositional Petri Net Semantics of Preemption (HK, FP), pp. 318–337.