Marjeta Pucko

Publication Activity (10 Years)

Years Active: 1993-1998
Publications (10 Years): 0

Publications

Maximilian Frey, Marjeta Pucko
Formal specification of CSCW applications with concurrent abstract data types. J. Syst. Archit. 44 (5) (1998)
Marjeta Pucko, Monika Kapus-Kolar, Gorazd Kandus
Automated derivation of protocols implementing intelligent network services. Microprocess. Microprogramming 40 (10-12) (1994)
Marjeta Pucko, Monika Kapus-Kolar, Joze Rugelj
Developing multi-user interfaces for CSCW environment. Microprocess. Microprogramming 37 (1-5) (1993)
Tatjana Kapus, Bogomir Horvat, Marjeta Pucko
A true concurrency semantics for parallel programs. Microprocess. Microprogramming 39 (2-5) (1993)
Marjeta Pucko, Gorazd Kandus
Service-driven protocol synthesis for specific users. Microprocess. Microprogramming 39 (2-5) (1993)