Coverart for item
The Resource 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, Holger Giese, Grigore Rosu (eds.), (electronic resource)

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, Holger Giese, Grigore Rosu (eds.), (electronic resource)

Label
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
Title
Formal techniques for distributed systems
Title remainder
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
Statement of responsibility
Holger Giese, Grigore Rosu (eds.)
Title variation
  • FMOODS 2012
  • FORTE 2012
Creator
Contributor
Provider
Subject
Genre
Language
eng
Summary
This 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
Member of
Cataloging source
GW5XE
Image bit depth
0
LC call number
QA76.9.D5
LC item number
I58 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
International Conference on Formal Methods for Open Object-Based Distributed Systems
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
2012
http://library.link/vocab/relatedWorkOrContributorName
  • SpringerLink
  • Giese, Holger
  • Roşu, Grigore
  • FORTE 2012
Series statement
Lecture Notes in Computer Science,
Series volume
7273
http://library.link/vocab/subjectName
  • Electronic data processing
  • Formal methods (Computer science)
  • Electronic data processing
  • Formal methods (Computer science)
  • Informatique
Label
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, Holger Giese, Grigore Rosu (eds.), (electronic resource)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
mixed
Bibliography note
Includes bibliographical references and author index
Color
not applicable
Contents
  • Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs
  • Kais Klai and Jörg Desel
  • Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata
  • Roland Kindermann, Tommi Junttila and Ilkka Niemelä
  • Conformance Testing of Boolean Programs with Multiple Faults
  • Pavithra Prabhakar and Mahesh Viswanathan
  • Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities
  • Saddek Bensalem, Marius Bozga, Jean Quilbeuf and Joseph Sifakis
  • Modelling Probabilistic Wireless Networks
  • (Extended Abstract)
  • A Reversible Abstract Machine and Its Space Overhead
  • Andrea Cerone and Matthew Hennessy
  • Noninterference via Symbolic Execution
  • Dimiter Milushev, Wim Beck and Dave Clarke
  • Defining Distances for All Process Semantics
  • David Romero Hernández and David de Frutos Escrig
  • Secure Multi-Execution through Static Program Transformation
  • Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens and Exequiel Rivas
  • Synchronous Interface Theories and Time Triggered Scheduling
  • Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay and Dejan Ničković
  • TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs
  • Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina and Jean-Bernard Stefani
  • Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay and Darko Marinov, et al.
  • Verification of Ad Hoc Networks with Node and Communication Failures
  • Giorgio Delzanno, Arnaud Sangnier and Gianluigi Zavattaro
  • Verification of Timed Erlang Programs Using McErlang
  • Clara Benac Earle and Lars-Åke Fredlund
  • A Small Model Theorem for Rectangular Hybrid Automata Networks
  • Taylor T. Johnson and Sayan Mitra
  • Analysis of May-Happen-in-Parallel in Concurrent Objects
  • Elvira Albert, Antonio E. Flores-Montoya and Samir Genaim
  • Behavioural Equivalences over Migrating Processes with Timers
  • Bogdan Aman, Gabriel Ciobanu and Maciej Koutny
Dimensions
unknown
Extent
1 online resource.
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642307935
Level of compression
uncompressed
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)795909868
  • (OCoLC)ocn795909868
Label
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, Holger Giese, Grigore Rosu (eds.), (electronic resource)
Publication
Note
International conference proceedings
Antecedent source
mixed
Bibliography note
Includes bibliographical references and author index
Color
not applicable
Contents
  • Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs
  • Kais Klai and Jörg Desel
  • Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata
  • Roland Kindermann, Tommi Junttila and Ilkka Niemelä
  • Conformance Testing of Boolean Programs with Multiple Faults
  • Pavithra Prabhakar and Mahesh Viswanathan
  • Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities
  • Saddek Bensalem, Marius Bozga, Jean Quilbeuf and Joseph Sifakis
  • Modelling Probabilistic Wireless Networks
  • (Extended Abstract)
  • A Reversible Abstract Machine and Its Space Overhead
  • Andrea Cerone and Matthew Hennessy
  • Noninterference via Symbolic Execution
  • Dimiter Milushev, Wim Beck and Dave Clarke
  • Defining Distances for All Process Semantics
  • David Romero Hernández and David de Frutos Escrig
  • Secure Multi-Execution through Static Program Transformation
  • Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens and Exequiel Rivas
  • Synchronous Interface Theories and Time Triggered Scheduling
  • Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay and Dejan Ničković
  • TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs
  • Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina and Jean-Bernard Stefani
  • Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay and Darko Marinov, et al.
  • Verification of Ad Hoc Networks with Node and Communication Failures
  • Giorgio Delzanno, Arnaud Sangnier and Gianluigi Zavattaro
  • Verification of Timed Erlang Programs Using McErlang
  • Clara Benac Earle and Lars-Åke Fredlund
  • A Small Model Theorem for Rectangular Hybrid Automata Networks
  • Taylor T. Johnson and Sayan Mitra
  • Analysis of May-Happen-in-Parallel in Concurrent Objects
  • Elvira Albert, Antonio E. Flores-Montoya and Samir Genaim
  • Behavioural Equivalences over Migrating Processes with Timers
  • Bogdan Aman, Gabriel Ciobanu and Maciej Koutny
Dimensions
unknown
Extent
1 online resource.
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642307935
Level of compression
uncompressed
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)795909868
  • (OCoLC)ocn795909868

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...