Transactions on Petri Nets and Other Models of Concurrency X - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662486498, 9783662486504

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Kleene Theorems for Synchronous Products with Matching

Transactions on Petri Nets and Other Models of Concurrency X - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48650-4_5 ◽

2015 ◽

pp. 84-108 ◽

Cited By ~ 1

Author(s):

Ramchandra Phawade ◽

Kamal Lodaya

Download Full-text

Modelling and Analysis Mobile Systems Using $$\pi $$ -calculus (EFCP)

Transactions on Petri Nets and Other Models of Concurrency X - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48650-4_8 ◽

2015 ◽

pp. 153-175 ◽

Cited By ~ 1

Author(s):

Victor Khomenko ◽

Vasileios Germanos

Keyword(s):

Mobile Systems ◽

Pi Calculus

Download Full-text

SMT-Based Abstract Parametric Temporal Planning

Transactions on Petri Nets and Other Models of Concurrency X - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48650-4_4 ◽

2015 ◽

pp. 55-83 ◽

Cited By ~ 1

Author(s):

Artur Niewiadomski ◽

Wojciech Penczek

Keyword(s):

Temporal Planning

Download Full-text

Verification of Logs - Revealing Faulty Processes of a Medical Laboratory

Transactions on Petri Nets and Other Models of Concurrency X - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48650-4_1 ◽

2015 ◽

pp. 1-18

Author(s):

Robin Bergenthum ◽

Joachim Schick

Keyword(s):

Medical Laboratory

Download Full-text

Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling

Transactions on Petri Nets and Other Models of Concurrency X - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48650-4_7 ◽

2015 ◽

pp. 131-152 ◽

Cited By ~ 2

Author(s):

Amira Radhouani ◽

Akram Idani ◽

Yves Ledru ◽

Narjes Ben Rajeb

Keyword(s):

Information System ◽

System Modeling ◽

Insider Attack ◽

Information System Modeling ◽

Formal Information

Download Full-text

Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies

Transactions on Petri Nets and Other Models of Concurrency X - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48650-4_6 ◽

2015 ◽

pp. 109-130 ◽

Cited By ~ 1

Author(s):

Mihai Lica Pura ◽

Didier Buchs

Keyword(s):

Model Checking ◽

Ad Hoc Networks ◽

Ad Hoc ◽

Security Protocols ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Hoc Networks

Download Full-text

Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets

Transactions on Petri Nets and Other Models of Concurrency X - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48650-4_3 ◽

2015 ◽

pp. 34-54 ◽

Cited By ~ 1

Author(s):

Kais Klai

Keyword(s):

Petri Nets ◽

Finite Graph ◽

Time Petri Nets ◽

Quantitative Properties

Download Full-text

An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model

Transactions on Petri Nets and Other Models of Concurrency X - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48650-4_2 ◽

2015 ◽

pp. 19-33

Author(s):

Assia Ben Shil ◽

Kaouther Blibech Sinaoui

Keyword(s):

Storage Model

Download Full-text

Transactions on Petri Nets and Other Models of Concurrency X - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Kleene Theorems for Synchronous Products with Matching

Modelling and Analysis Mobile Systems Using $$\pi $$ -calculus (EFCP)

SMT-Based Abstract Parametric Temporal Planning

Verification of Logs - Revealing Faulty Processes of a Medical Laboratory

Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling

Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies

Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets

An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model

Transactions on Petri Nets and Other Models of Concurrency X - Lecture Notes in Computer Science
Latest Publications