Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Series=LNCS AND Volume=5062

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

Challenges and opportunities for formal specifications in service oriented architectures
Gustavo Alonso
Lecture Notes in Computer Science 5062, 2008, pp. 1-6
Modeling interactions between biochemical reactions
A. Ehrenfeucht, G. Rozenberg
Lecture Notes in Computer Science 5062, 2008, pp. 7-7
Transaction calculus
He Jifeng
Lecture Notes in Computer Science 5062, 2008, pp. 8-8
Stratifying winning positions in parity games
Huimin Lin
Lecture Notes in Computer Science 5062, 2008, pp. 9-11
On the physical basics of information flow - Results obtained in cooperation with Konrad Zuse
Carl Adam Petri
Lecture Notes in Computer Science 5062, 2008, pp. 12-12
Faster unfolding of general Petri nets based on token flows
Robin Bergenthum, Robert Lorenz, Sebastian Mauser
Lecture Notes in Computer Science 5062, 2008, pp. 13-32
Decomposition theorems for bounded persistent Petri nets
Eike Best, Philippe Darondeau
Lecture Notes in Computer Science 5062, 2008, pp. 33-51
Compositional specification of Web services via behavioural equivalence of nets: A case study
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
Lecture Notes in Computer Science 5062, 2008, pp. 52-71
Modeling and analysis of security protocols using role based specifications and Petri nets
Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau
Lecture Notes in Computer Science 5062, 2008, pp. 72-91
A symbolic algorithm for the synthesis of bounded Petri nets
J. Carmona, J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev
Lecture Notes in Computer Science 5062, 2008, pp. 92-111
Synthesis of nets with step firing policies
Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alex Yakovlev
Lecture Notes in Computer Science 5062, 2008, pp. 112-131
Modelling and analysis of the INVITE transaction of the session initiation protocol using coloured Petri nets
Lay G. Ding, Lin Liu
Lecture Notes in Computer Science 5062, 2008, pp. 132-151
Modelling and initial validation of the DYMO routing protocol for mobile ad-hoc networks
Kristian L. Espensen, Mads K. Kjeldsen, Lars M. Kristensen
Lecture Notes in Computer Science 5062, 2008, pp. 152-170
Formal specification and validation of secure connection establishment in a Generic Access Network scenario
Paul Fleischer, Lars M. Kristensen
Lecture Notes in Computer Science 5062, 2008, pp. 171-190
Parametric language analysis of the class of stop-and-wait protocols
Guy Edward Gallasch, Jonathan Billington
Lecture Notes in Computer Science 5062, 2008, pp. 191-210
Hierarchical set decision diagrams and automatic saturation
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
Lecture Notes in Computer Science 5062, 2008, pp. 211-230
Performance evaluation of workflows using continuous Petri nets twith interval firing speeds
Kunihiko Hiraishi
Lecture Notes in Computer Science 5062, 2008, pp. 231-250
Modelling concurrency with quotient monoids
Ryszard Janicki, Dai Tri Man Lê
Lecture Notes in Computer Science 5062, 2008, pp. 251-269
Labeled step sequences in Petri nets
Matthias Jantzen, Georg Zetzsche
Lecture Notes in Computer Science 5062, 2008, pp. 270-287
MC-SOG: An LTL model checker based on symbolic observation graphs
Kais Klai, Denis Poitrenaud
Lecture Notes in Computer Science 5062, 2008, pp. 288-306
Symbolic state space of stopwatch Petri nets with discrete-time semantics (theory paper)
Morgan Magnin, Didier Lime, Olivier (H.) Roux
Lecture Notes in Computer Science 5062, 2008, pp. 307-326
A practical approach to verification of mobile systems using net unfoldings
Roland Meyer, Victor Khomenko, Tim Strazny
Lecture Notes in Computer Science 5062, 2008, pp. 327-347
Cooperative arrival management in air traffic control - A Coloured Petri Net model of sequence planning
Hendrik Oberheid, Dirk Söffker
Lecture Notes in Computer Science 5062, 2008, pp. 348-367
Process discovery using integer linear programming
J.M.E.M. van der Werf, B.F. van Dongen, C.A.J. Hurkens, A. Serebrenik
Lecture Notes in Computer Science 5062, 2008, pp. 368-387
Synthesis of Petri nets from scenarios with VipTool
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Lecture Notes in Computer Science 5062, 2008, pp. 388-398

Seiten 1 2 >