Concurrency, Security, and Puzzles - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319510453, 9783319510460

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Hybrid Relational Modelling Language

Concurrency, Security, and Puzzles - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51046-0_7 ◽

2016 ◽

pp. 124-143 ◽

Cited By ~ 2

Author(s):

He Jifeng ◽

Li Qin

Keyword(s):

Modelling Language

Download Full-text

Abstractions for Transition Systems with Applications to Stubborn Sets

Concurrency, Security, and Puzzles - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51046-0_6 ◽

2016 ◽

pp. 104-123

Author(s):

Henri Hansen

Keyword(s):

Transition Systems

Download Full-text

Discrete Random Variables Over Domains, Revisited

Concurrency, Security, and Puzzles - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51046-0_10 ◽

2016 ◽

pp. 185-202

Author(s):

Michael Mislove

Keyword(s):

Random Variables ◽

Discrete Random Variables

Download Full-text

A Specification Theory of Real-Time Processes

Concurrency, Security, and Puzzles - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51046-0_2 ◽

2016 ◽

pp. 18-38 ◽

Cited By ~ 1

Author(s):

Chris Chilton ◽

Marta Kwiatkowska ◽

Faron Moller ◽

Xu Wang

Keyword(s):

Real Time ◽

Specification Theory

Download Full-text

More Stubborn Set Methods for Process Algebras

Concurrency, Security, and Puzzles - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51046-0_13 ◽

2016 ◽

pp. 246-271 ◽

Cited By ~ 5

Author(s):

Antti Valmari

Keyword(s):

Process Algebras

Download Full-text

Stealthy Protocols: Metrics and Open Problems

Concurrency, Security, and Puzzles - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51046-0_1 ◽

2016 ◽

pp. 1-17 ◽

Cited By ~ 3

Author(s):

Olga Chen ◽

Catherine Meadows ◽

Gautam Trivedi

Keyword(s):

Open Problems

Download Full-text

A Brief History of Security Protocols

Concurrency, Security, and Puzzles - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51046-0_12 ◽

2016 ◽

pp. 223-245

Author(s):

Peter Y. A. Ryan

Keyword(s):

Security Protocols ◽

History Of

Download Full-text

Virtualization Based Development

Concurrency, Security, and Puzzles - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51046-0_15 ◽

2016 ◽

pp. 294-318

Author(s):

Jay Yantchev ◽

Atanas Parashkevov

Download Full-text

What Makes Petri Nets Harder to Verify: Stack or Data?

Concurrency, Security, and Puzzles - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51046-0_8 ◽

2016 ◽

pp. 144-161 ◽

Cited By ~ 1

Author(s):

Ranko Lazić ◽

Patrick Totzke

Keyword(s):

Petri Nets

Download Full-text

Analysing Lock-Free Linearizable Datatypes Using CSP

Concurrency, Security, and Puzzles - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51046-0_9 ◽

2016 ◽

pp. 162-184 ◽

Cited By ~ 2

Author(s):

Gavin Lowe

Download Full-text

Concurrency, Security, and Puzzles - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Hybrid Relational Modelling Language

Abstractions for Transition Systems with Applications to Stubborn Sets

Discrete Random Variables Over Domains, Revisited

A Specification Theory of Real-Time Processes

More Stubborn Set Methods for Process Algebras

Stealthy Protocols: Metrics and Open Problems

A Brief History of Security Protocols

Virtualization Based Development

What Makes Petri Nets Harder to Verify: Stack or Data?

Analysing Lock-Free Linearizable Datatypes Using CSP

Concurrency, Security, and Puzzles - Lecture Notes in Computer Science
Latest Publications