Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer London

9781447166863, 9781447166870

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modeling Distributed Systems in Rewriting Logic

Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science ◽

10.1007/978-1-4471-6687-0_8 ◽

2017 ◽

pp. 127-144 ◽

Author(s):

Peter Csaba Ölveczky

Keyword(s):

Distributed Systems ◽

Rewriting Logic

Download Full-text

Termination

Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science ◽

10.1007/978-1-4471-6687-0_4 ◽

2017 ◽

pp. 67-84

Author(s):

Peter Csaba Ölveczky

Download Full-text

Formalizing and Checking Requirements

Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science ◽

10.1007/978-1-4471-6687-0_16 ◽

2017 ◽

pp. 263-282

Author(s):

Peter Csaba Ölveczky

Download Full-text

Modeling and Analyzing Transport Protocols

Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science ◽

10.1007/978-1-4471-6687-0_12 ◽

2017 ◽

pp. 199-210

Author(s):

Peter Csaba Ölveczky

Keyword(s):

Transport Protocols

Download Full-text

Equational Logic

Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science ◽

10.1007/978-1-4471-6687-0_6 ◽

2017 ◽

pp. 93-108

Author(s):

Peter Csaba Ölveczky

Keyword(s):

Equational Logic

Download Full-text

Real-Time and Probabilistic Systems

Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science ◽

10.1007/978-1-4471-6687-0_17 ◽

2017 ◽

pp. 283-298

Author(s):

Peter Csaba Ölveczky

Keyword(s):

Real Time ◽

Probabilistic Systems

Download Full-text

Concurrent Objects in Maude

Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science ◽

10.1007/978-1-4471-6687-0_10 ◽

2017 ◽

pp. 155-182

Author(s):

Peter Csaba Ölveczky

Keyword(s):

Concurrent Objects

Download Full-text

Equational Specification in Maude

Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science ◽

10.1007/978-1-4471-6687-0_2 ◽

2017 ◽

pp. 11-58

Author(s):

Peter Csaba Ölveczky

Download Full-text

Distributed Algorithms

Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science ◽

10.1007/978-1-4471-6687-0_13 ◽

2017 ◽

pp. 211-232

Author(s):

Peter Csaba Ölveczky

Keyword(s):

Distributed Algorithms

Download Full-text

Models of Equational Specifications

Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science ◽

10.1007/978-1-4471-6687-0_7 ◽

2017 ◽

pp. 109-124

Author(s):

Peter Csaba Ölveczky

Keyword(s):

Equational Specifications

Download Full-text