Travelled to:1 × Italy
1 × Japan
1 × USA
Collaborated with:∅ L.Schröder T.Mossakowski A.Tarlecki B.Klin
Talks about:theori (2) union (2) equat (2) architectur (1) approach (1) algebra (1) specif (1) semant (1) monad (1) casl (1)
Person: Piotr Hoffman
DBLP: Hoffman:Piotr
Contributed to:
20062005
2001Wrote 3 papers:
- RTA-2006-Hoffman #equation #monad
- Unions of Equational Monadic Theories (PH), pp. 81–95.
- RTA-2005-Hoffman #algebra #approach #equation
- Union of Equational Theories: An Algebraic Approach (PH), pp. 61–73.
- FASE-2001-SchroderMTKH #architecture #semantics #specification
- Semantics of Architectural Specifications in CASL (LS, TM, AT, BK, PH), pp. 253–268.