Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
A context dependent equivalence between processes
Theoretical Computer Science
The linear time-branching time spectrum (extended abstract)
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
A compositional protocol verification using relativized bisimulation
Information and Computation
Partial evaluation of concurrent constraint languages
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Model checking
Proof, language, and interaction
A generic type system for the Pi-calculus
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
Formal Methods in System Design
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Communication and Concurrency
Selected Papers from the Internaltional Seminar on Partial Evaluation
Selected Papers from the Internaltional Seminar on Partial Evaluation
Partial Evaluation Scheme for Concurrent Languages and Its Correctness
Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing - Volume I
Conformance Checking for Models of Asynchronous Message Passing Software
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Modal I/O automata for interface and product line theories
ESOP'07 Proceedings of the 16th European conference on Programming
Interface input/output automata
FM'06 Proceedings of the 14th international conference on Formal Methods
Hi-index | 0.00 |
Execution environments are used as specifications for specialization of input-output programs in the derivation of product lines. These environments, formalized as color-blind I/O-alternating transition systems, are tolerant to mutations in a given program's outputs. Execution environments enable new compiler optimizations, vastly exceeding usual reductions. We propose a notion of context-dependent refinement for I/O-alternating transition systems, which supports composition and hierarchical reuse. The framework is demonstrated by discussing adaptations to realistic design languages and by presenting an exampleof a product line.