default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Algebraic Programming, Volume 80
Volume 80, Number 1, January 2011
- Gordon J. Pace
, Gerardo Schneider:
Guest Editors' Foreword. 1-2 - Antonio Brogi:
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition. 3-12 - Maria Grazia Buscemi, Ugo Montanari:
QoS negotiation in service composition. 13-24 - María-Emilia Cambronero, Gregorio Díaz, Valentín Valero, Enrique Martínez:
Validation and verification of Web services choreographies by using timed automata. 25-49 - Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky:
Permission to speak: A logic for access control and conformance. 50-74
Volume 80, Number 2, February 2011
- Robin Hirsch, Szabolcs Mikulás:
Axiomatizability of representable domain algebras. 75-91 - Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. 92-112 - Fabio Gadducci, Giacoma Valentina Monreale:
A decentralised graphical implementation of mobile ambients. 113-136
Volume 80, Numbers 3-5, April - July 2011
- Gordon J. Pace, Gerardo Schneider:
Guest Editors' Foreword. 137-138 - Paolo Rosso, Santiago Correa, Davide Buscaldi:
Passage retrieval in legal texts. 139-153 - José Antonio Martín, Ernesto Pimentel:
Contracts for security adaptation. 154-179 - Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing:
A contract-based approach to adaptivity. 180-193 - Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton:
Building Distributed Controllers for Systems with Priorities. 194-218
Volume 80, Number 6, August 2011
- Rudolf Berghammer, Ali Jaoua, Bernhard Möller:
Relations and Kleene algebras in computer science. 219-220 - Han-Hing Dang, Peter Höfner, Bernhard Möller:
Algebraic separation logic. 221-247 - Walter Guttmann:
Fixpoints for general correctness. 248-265 - Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Concurrent Kleene Algebra and its Foundations. 266-296 - Wolfram Kahl:
Collagories: Relation-algebraic reasoning for gluing constructions. 297-338 - Gunther Schmidt, Rudolf Berghammer:
Contact, closure, topology, and the linking of row and column types of relations. 339-361 - Kim Solin:
Normal forms in total correctness for while programs and action systems. 362-375
Volume 80, Number 7, October 2011
- Gabriel Ciobanu, Maciej Koutny:
Timed Mobility in process algebra and Petri nets. 377-391 - Robert Colvin, Ian J. Hayes:
Structural operational semantics through context-dependent behaviour. 392-426
Volume 80, Number 8, November 2011
- Mark Burgess, Alva L. Couch:
On system rollback and totalized fields: An algebraic approach to system change. 427-443 - Jerry Swan:
Efficiency issues in the kbmag procedure. 444-452 - Richard Banach, Czeslaw Jeske:
Simple feature engineering via neat default retrenchments. 453-480 - Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. 481-496
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-20 00:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
