148
click to vote
FOSSACS
13 years 9 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 9 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...
111
click to vote
FOSSACS
13 years 9 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...
127
click to vote
FOSSACS
13 years 9 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