Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
Sadani, Tarek, Boyer, Marc, de Saqui-Sannes, Pierre, Courtiat, Jean-Pierre
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2006 (2006)
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2006 (2006)
Get full text
Book Chapter
Conference Proceeding
Loosely-Coupled Integration of CSCW Systems
Gomes, Roberta L., Rivera, Guillermo J. Hoyos, Courtiat, Jean Pierre
Published in Distributed Applications and Interoperable Systems (2005)
Published in Distributed Applications and Interoperable Systems (2005)
Get full text
Book Chapter
Conference Proceeding