1147 search results - page 35 / 230 » Termination in language-based systems |
137
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Consider an asynchronous system with private channels and n processes, up to t of which may be faulty. We settle a longstanding open question by providing a Byzantine agreement pr...
140
click to vote
SCP
2002
15 years 5 months ago
2002
It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to suppo...
156
click to vote
IJCAT
2008
15 years 5 months ago
2008
Modeling and simulation are essential tools for the design and analysis of container terminals. A computer model can emulate the activities at various levels of details and captur...
125
click to vote
BIRTHDAY
2009
Springer
16 years 19 days 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...
191
click to vote
TABLEAUX
2009
Springer
16 years 11 days ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...