Transactions on Petri Nets and Other Models of Concurrency X

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own E...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Koutny, Maciej (Editor ), Desel, Jörg (Editor ), Haddad, Serge (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Edición:1st ed. 2015.
Colección:Transactions on Petri Nets and Other Models of Concurrency, 9410
Temas:
Software engineering.
Computer science.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Verification of Logs - Revealing Faulty Processes of a Medical Laboratory
  • An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model
  • Timed Aggregate Graph: Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets
  • SMT-based Abstract Parametric Temporal Planning
  • Kleene Theorems for Synchronous Products with Matching
  • Symbolic Model Checking of Security Protocols for Ad Hoc Networks on Any Topologies
  • Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling
  • Modelling and Analysis Mobile Systems Using π-Calculus (EFCP).

Ejemplares similares