Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, ProceedingsThis book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services. |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
| 1 | |
A Small Model Theorem for Rectangular Hybrid Automata Networks | 18 |
Analysis of MayHappeninParallel in Concurrent Objects | 35 |
Behavioural Equivalences over
Migrating Processes with Timers | 52 |
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs | 67 |
Complete SMTBased Bounded Model Checking for Timed Automata | 84 |
Conformance Testing of Boolean Programs with Multiple Faults | 101 |
KnowledgeBased Distributed Conflict Resolution for Multiparty Interactions and Priorities | 118 |
Noninterference via Symbolic Execution | 152 |
Defining Distances for All Process Semantics | 169 |
Secure MultiExecution through Static Program Transformation | 186 |
Synchronous Interface Theories and Time Triggered Scheduling | 203 |
A Novel Dynamic PartialOrder Reduction Technique for Testing Actor Programs | 219 |
Verification of Ad Hoc Networks with Node and Communication Failures | 235 |
Verification of Timed Erlang Programs Using McErlang | 251 |
| 268 | |
Other editions - View all
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 ... Holger Giese,Grigore Rosu No preview available - 2012 |
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 ... Holger Giese,Grigore Rosu No preview available - 2012 |
Common terms and phrases
abstract machine access strings actions actor ad hoc networks algorithm analysis approach atomic components automata automaton backtrack set behavior bisimilarity bisimulation boolean bound broadcast Büchi automaton clock composition computation concurrent configuration conformance test consider corresponding deadlock defined definition denote detection distributed DPOR elapse step encoding equivalent Erlang example explore false conflicts FIFO finite future variable global graph Heidelberg Heidelberg 2010 hoc networks IEEE implementation infinite information flow initial input interactions interface JavaScript labelled transition system lasso-shaped livelock LNCS loop McErlang model checking multiset MVPA node non-zeno noninterference observed obtain operational semantics output process calculi program point program transformation properties protocol reachable relation reversible rules scheduling security level sequence simulation distance specification Springer struct synchronized task technique Theorem timeout TransDPOR transformation transition relation tuple verification
Bibliographic information
| Title | Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings Volume 7273 of Lecture Notes in Computer Science Programming and Software Engineering |
| Editors | Holger Giese, Grigore Rosu |
| Edition | illustrated |
| Publisher | Springer, 2012 |
| ISBN | 3642307930, 9783642307935 |
| Length | 269 pages |
| Subjects | › › Computers / Languages / General Computers / Networking / General Computers / Networking / Hardware Computers / Programming / General Computers / Software Development & Engineering / General Mathematics / Discrete Mathematics Mathematics / Logic |
| Export Citation | BiBTeX EndNote RefMan |