4604 search results - page 692 / 921 » Concurrency in Synchronous Systems |
112
click to vote
JOT
2007
15 years 16 days ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
FMSD
2002
15 years 13 days ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
101
Voted
FAC
2010
14 years 11 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
105
click to vote
IANDC
2010
14 years 11 months ago
2010
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
154
click to vote
ICDCS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--The networked application environment has motivated the development of multitasking operating systems for sensor networks and other low-power electronic devices, but thei...