Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Algebraic Programming, Volume 78
Volume 78, Number 1, November - December 2008
- Hai-Feng Guo, Bharat Jayaraman:
Logic programming with solution preferences. 1-21 - Xiaoxiao Yang, Zhenhua Duan:
Operational semantics of Framed Tempura. 22-51 - Jos C. M. Baeten, Ana Sokolova:
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462. 52
Volume 78, Number 2, January 2009
- Manfred Broy, Gheorghe Stefanescu:
Guest Editors' Foreword: Selected papers on "Streams and Algebra". 53 - Jan Jürjens:
A domain-specific language for cryptographic protocols based on streams. 54-73 - Peter Höfner, Bernhard Möller:
An algebra of hybrid systems. 74-97 - Robert M. Hierons
, Mercedes G. Merayo, Manuel Núñez:
Testing from a stochastic timed system with a fault model. 98-115
Volume 78, Number 3, February - March 2009
- Hélia Guerra, José Félix Costa:
Processes with local and global liveness requirements. 117-137 - Nadia Busi, Roberto Gorrieri:
Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. 138-162 - A. W. Roscoe:
Revivals, stuckness and the hierarchy of CSP models. 163-190
Volume 78, Number 4, April 2009
- Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann:
Preface. - Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni:
Assisting the design of a groupware system. 191-232 - Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier:
A metamodel for the design of polychronous systems. 233-259 - M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià:
Improving performance in flexible manufacturing systems. 260-273 - Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse:
Search algorithms for automated validation. 274-287
Volume 78, Number 5, May - June 2009
- Olaf Owe, Gerardo Schneider:
Guest Editors' Foreword. 289-290 - Olaf Owe, Gerardo Schneider:
Formal languages and analysis of contract-oriented software. 291-292 - Martin Leucker, Christian Schallhart:
A brief account of runtime verification. 293-303 - Irem Aktug, Mads Dam, Dilian Gurov:
Provably correct runtime monitoring. 304-339 - Nataliia Bielova, Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Sri Rejeki Siahaan:
Matching in security-by-contract for mobile code. 340-358 - Valentín Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià:
A Petri net approach for the design and analysis of Web Services Choreographies. 359-380 - Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen:
POETS: Process-oriented event-driven transaction systems. 381-401 - Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani:
Schedulability of asynchronous real-time concurrent objects. 402-416
Volume 78, Number 6, July 2009
- Lars Frantzen, Mercedes G. Merayo, Manuel Núñez:
A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. 417-424 - César Andrés, Luis Fernando Llana Díaz, Ismael Rodríguez:
Formally transforming user-model testing problems into implementer-model testing problems and viceversa. 425-453 - Laya Madani, Ioannis Parissis:
Automatically testing interactive applications using extended task trees. 454-471 - Gordon Fraser, Angelo Gargantini, Franz Wotawa:
On the order of test goals in specification-based testing. 472-490
Volume 78, Number 7, August - September 2009
- Einar Broch Johnsen, Olaf Owe, Gerardo Schneider:
Guest Editors' Foreword. - Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen:
Behavioral interface description of an object-oriented language with futures and promises. 491-518 - Eva Burrows, Magne Haveraaen:
A Hardware Independent Parallel Programming Model. 519-538 - David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
Ready to preorder: an algebraic and general proof. 539-551 - Fritz Henglein:
What is a Sorting Function? 552-572 - Härmel Nestra:
Transfinite Semantics in the Form of Greatest Fixpoint. 573-592 - Alejandro Russo, Andrei Sabelfeld:
Securing interaction between threads and the scheduler in the presence of synchronization. 593-618 - Ando Saabas, Tarmo Uustalu:
Proof optimization for partial redundancy elimination. 619-642 - Kai Trojahner, Clemens Grelck:
Dependently typed array programs don't go wrong. 643-664
Volume 78, Number 8, November 2009
- Daniele Gorla, Rosario Pugliese:
Dynamic management of capabilities in a network aware coordination language. 665-689 - Jason Crampton:
Cryptographically-enforced hierarchical access control with multiple keys. 690-700 - Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas:
Dual Systems of Tableaux and Sequents for PLTL. 701-722 - M. Mehdi Ebrahimi, Mojgan Mahmoudi:
Completion of Boolean algebras in MSet. 723-729 - Valentín Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià:
A barred operational semantics for a subset of WS-CDL with time restrictions. 730-748
a service of 
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 2024-04-26 17:31 CEST 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:
