Journal of the ACM (JACM)
Mixed product and asynchronous automata
Theoretical Computer Science
Submodule construction as equation solving in CCS
Theoretical Computer Science
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A Discrete Event Systems Approach for Protocol Conversion
Discrete Event Dynamic Systems
Solution of parallel language equations for logic synthesis
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Games for synthesis of controllers with partial observation
Theoretical Computer Science - Logic and complexity in computer science
Progressive solutions to a parallel automata equation
Theoretical Computer Science
Modal Specifications for the Control Theory of Discrete Event Systems
Discrete Event Dynamic Systems
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Modal and mixed specifications: Key decision problems and their complexities
Mathematical Structures in Computer Science
Ready simulation for concurrency: It's logical!
Information and Computation
Quantitative refinement for weighted modal transition systems
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Vision paper: make a difference! (semantically)
Proceedings of the 14th international conference on Model driven engineering languages and systems
Factorization for component-interaction automata
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Decompositional reasoning about the history of parallel processes
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
A compositional specification theory for component behaviours
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Modal event-clock specifications for timed component-based design
Science of Computer Programming
A Modal Interface Theory for Component-based Design
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Weighted modal transition systems
Formal Methods in System Design
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
A modal specification theory for components with data
Science of Computer Programming
Hi-index | 0.00 |
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system, this operation computes the residual specification characteristic of the systems that, when composed with the given component, satisfy the overall specification. This problem is solved when behaviors are given by modal or acceptance specifications and when composition allows mixed product and internalization of events. We show on an example how weak form of liveness constraint may be taken into account by this technique.