1492 search results - page 229 / 299 » Concurrent programming in VISO |
94
Voted
CCS
2004
ACM
15 years 6 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
125
click to vote
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
98
Voted
ESOP
2010
Springer
15 years 6 months ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
91
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Modern embedded multimedia systems process multiple concurrent streams of data processing jobs. Streams often have throughput requirements. These jobs are implemented on...
115
click to vote
AGENTCL
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...