1875 search results - page 202 / 375 » A Calculus of Broadcasting Systems |
131
Voted
CADE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
108
Voted
JSW
2007
15 years 21 days ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
98
Voted
IGPL
1998
15 years 15 days ago
1998
Calculi of explicit substitutions have almost always been presented using de Bruijn indices with the aim of avoiding -conversion and being as close to machines as possible. De Bru...
CADE
2003
Springer
16 years 1 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
78
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...