Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols Monika KAPUS-KOLAR
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/09/01 Vol. E86-ANo. 9 ;
pp. 2405-2412 Type of Manuscript: PAPER Category: Concurrent Systems Keyword: distributed service implementation, protocol synthesis, LOTOS/T+,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-ANo. 10 ;
pp. 1634-1645 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: protocol engineering, protocol synthesis, parallel execution of primitives,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-ANo. 10 ;
pp. 1646-1655 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: protocol, protocol synthesis, deadlock, FDT, LOTOS,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-ANo. 10 ;
pp. 1623-1633 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: Petri net, marked graph, protocol synthesis, parallel events,