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

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

3
(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

2016 ◽  
pp. 124-143 ◽  
Author(s):  
He Jifeng ◽  
Li Qin
Keyword(s):  
Modelling Language

A Specification Theory of Real-Time Processes

2016 ◽  
pp. 18-38 ◽  
Author(s):  
Chris Chilton ◽  
Marta Kwiatkowska ◽  
Faron Moller ◽  
Xu Wang
Keyword(s):  
Real Time ◽  
Specification Theory

Stealthy Protocols: Metrics and Open Problems

2016 ◽  
pp. 1-17 ◽  
Author(s):  
Olga Chen ◽  
Catherine Meadows ◽  
Gautam Trivedi
Keyword(s):  
Open Problems

A Brief History of Security Protocols

2016 ◽  
pp. 223-245
Author(s):  
Peter Y. A. Ryan
Keyword(s):  
Security Protocols ◽  
History Of

Virtualization Based Development

2016 ◽  
pp. 294-318
Author(s):  
Jay Yantchev ◽  
Atanas Parashkevov

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

2016 ◽  
pp. 144-161 ◽  
Author(s):  
Ranko Lazić ◽  
Patrick Totzke
Keyword(s):  
Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document