| Publication | Date of Publication | Type |
|---|
| The lotos model of a fault protected system and its verification using a petri net based approach | 2024-04-29 | Paper |
Testing for a conformance relation based on acceptance
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets
Distributed Computing | 2020-12-04 | Paper |
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing | 2020-12-02 | Paper |
Using logic to solve the submodule construction problem
Discrete Event Dynamic Systems | 2013-06-28 | Paper |
Load balancing in peer-to-peer systems using a diffusive approach
Computing | 2012-10-23 | Paper |
Some notes on the history of protocol engineering
Computer Networks | 2011-02-02 | Paper |
Progressive solutions to a parallel automata equation
Formal Techniques for Networked and Distributed Systems - FORTE 2003 | 2010-05-26 | Paper |
Decomposing service definition in predicate/transition-nets for designing distributed systems
Lecture Notes in Computer Science | 2010-05-26 | Paper |
A computation method for scenario studies in WDM network planning
COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering | 2010-03-11 | Paper |
Deriving protocol specifications from service specifications written as Predicate/Transition-nets
Computer Networks | 2006-12-07 | Paper |
Progressive solutions to a parallel automata equation
Theoretical Computer Science | 2006-10-20 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Lecture Notes in Computer Science | 2006-07-07 | Paper |
| scientific article; zbMATH DE number 2043477 (Why is no real title available?) | 2004-02-16 | Paper |
| scientific article; zbMATH DE number 2013785 (Why is no real title available?) | 2003-12-07 | Paper |
| scientific article; zbMATH DE number 1973973 (Why is no real title available?) | 2003-09-03 | Paper |
| scientific article; zbMATH DE number 1949643 (Why is no real title available?) | 2003-07-15 | Paper |
| scientific article; zbMATH DE number 1893044 (Why is no real title available?) | 2003-04-06 | Paper |
| scientific article; zbMATH DE number 1700054 (Why is no real title available?) | 2002-02-03 | Paper |
| scientific article; zbMATH DE number 1418467 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 177243 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177529 (Why is no real title available?) | 1993-05-18 | Paper |
Failure-equivalent transformation of transition systems to avoid internal actions
Information Processing Letters | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 140260 (Why is no real title available?) | 1993-03-28 | Paper |
The equivalence in the DCP model
Theoretical Computer Science | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 3812909 (Why is no real title available?) | 1983-01-01 | Paper |
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems | 1983-01-01 | Paper |
Hardware Specification with Temporal Logic: An Example
IEEE Transactions on Computers | 1982-01-01 | Paper |
Architecture of distributed computer systems
Lecture Notes in Computer Science | 1979-01-01 | Paper |
Semantic equivalence of covering attribute grammars
International Journal of Computer & Information Sciences | 1979-01-01 | Paper |
Compile Time Memory Allocation for Parallel Processes
IEEE Transactions on Software Engineering | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3566120 (Why is no real title available?) | 1977-01-01 | Paper |
Semantic evaluation from left to right
Communications of the ACM | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3548464 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3483557 (Why is no real title available?) | 1974-01-01 | Paper |
