Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
51
views
20
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,969
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
A Model-Checking Tool for Families of Services
other
Author(s):
Patrizia Asirelli
,
Maurice H. ter Beek
,
Alessandro Fantechi
,
Stefania Gnesi
Publication date
(Print):
2011
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Ecosystem services
Most cited references
20
Record
: found
Abstract
: not found
Book
: not found
Software Product Line Engineering
Klaus Pohl
,
Günter Böckle
,
Frank van der Linden
(2005)
0
comments
Cited
88
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Service-Oriented Computing: State of the Art and Research Challenges
Michael Papazoglou
,
Paolo Traverso
,
Schahram Dustdar
…
(2007)
0
comments
Cited
62
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A configurable reference modelling language
M Rosemann
,
W.M.P. van der Aalst
(2007)
0
comments
Cited
61
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2011
Pages
: 44-58
DOI:
10.1007/978-3-642-21461-5_3
SO-VID:
3b60cb05-7b68-42f2-b961-d4ba6e962feb
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
On Global Types and Multi-party Sessions
pp. 29
Linear-Time and May-Testing in a Probabilistic Reactive Setting
pp. 44
A Model-Checking Tool for Families of Services
pp. 75
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking
pp. 106
A Framework for Verifying Data-Centric Protocols
pp. 121
Relational Concurrent Refinement: Timed Refinement
pp. 138
Galois Connections for Flow Algebras
pp. 153
An Accurate Type System for Information Flow in Presence of Arrays
pp. 168
Analysis of Deadlocks in Object Groups
pp. 183
Monitoring Distributed Systems Using Knowledge
pp. 198
Global State Estimates for Distributed Systems
pp. 213
A Process Calculus for Dynamic Networks
pp. 228
On Asynchronous Session Semantics
pp. 244
Towards Verification of the Pastry Protocol Using TLA +
pp. 259
Dynamic Soundness in Resource-Constrained Workflow Nets
pp. 274
SimGrid MC: Verification Support for a Multi-API Simulation Platform
pp. 289
Ownership Types for the Join Calculus
pp. 304
Contracts for Multi-instance UML Activities
pp. 334
Analyzing BGP Instances in Maude
Similar content
2,969
The impact of untruthful age reporting during tobacco compliance checks.
Authors:
A. Hyland
,
K Cummings
,
M Seiwell
SAT-Enhanced Mizar Proof Checking
Authors:
Adam Naumowicz
Medical marijuana, not miracle marijuana: some well‐publicized studies about medical marijuana do not pass a reality check
Authors:
Theodore L Caputi
See all similar
Cited by
2
Using Coordinated Actors to Model Families of Distributed Systems
Authors:
Ramtin Khosravi
,
Hamideh Sabouri
Product Lines for Service Oriented Applications - PL for SOA
Authors:
Stefania Gnesi
,
Maurice ter Beek
,
Mercy N. Njima
See all cited by