148
click to vote
FOSSACS
13 years 10 months ago
2012 Springer 
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...
138
Voted
FOSSACS
13 years 10 months ago
2012 Springer 
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
112
Voted
FOSSACS
13 years 10 months ago
2012 Springer 
We consider concurrent games played on graphs, in which each player has several qualitative (e.g. reachability or B¨uchi) objectives, and a preorder on these objectives (for insta...
128
Voted
FOSSACS
13 years 10 months ago
2012 Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
|
Software Engineering