2700 search results - page 502 / 540 » The role of abstraction in software engineering |
143
click to vote
FSTTCS
2009
Springer
16 years 20 days ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
158
click to vote
FSTTCS
2009
Springer
16 years 20 days ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
139
click to vote
OOPSLA
2009
Springer
16 years 19 days ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
157
click to vote
FOSSACS
2010
Springer
16 years 18 days ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
147
click to vote
FOSSACS
2010
Springer
16 years 18 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...