- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
The symbiosis of concurrency and verification: teaching and case studies ; volume:30 ; number:2 ; day:20 ; month:12 ; year:2017 ; pages:239-277 ; date:3.2018
Formal aspects of computing ; 30, Heft 2 (20.12.2017), 239-277, 3.2018
- Creator
-
Pedersen, Jan B.
- Contributor
-
Welch, Peter H.
SpringerLink (Online service)
- DOI
-
10.1007/s00165-017-0447-x
- URN
-
urn:nbn:de:1111-201804078357
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:47 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Pedersen, Jan B.
- Welch, Peter H.
- SpringerLink (Online service)
Other Objects (12)
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Caching, crashing & concurrency - verification under adverse conditions
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Algorithms, concurrency and knowledge : proceedings
Symbiosis and the Anthropocene
Python Multithreading and Multiprocessing: Concurrency and Parallelism
Concurrency and Distribution in Reactive Programming
Symbiosis
Symbiosis of plants and microbes
Bounded symbiosis and upwards reflection
Concurrency and parallelism, programming, networking, and security : proceedings
Concurrency 88 : proceedings
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Caching, crashing & concurrency - verification under adverse conditions
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Algorithms, concurrency and knowledge : proceedings
Symbiosis and the Anthropocene
Python Multithreading and Multiprocessing: Concurrency and Parallelism
Concurrency and Distribution in Reactive Programming
Symbiosis
Symbiosis of plants and microbes
Bounded symbiosis and upwards reflection
Concurrency and parallelism, programming, networking, and security : proceedings
Concurrency 88 : proceedings
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Caching, crashing & concurrency - verification under adverse conditions
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Algorithms, concurrency and knowledge : proceedings
Symbiosis and the Anthropocene
Python Multithreading and Multiprocessing: Concurrency and Parallelism
Concurrency and Distribution in Reactive Programming
Symbiosis
Symbiosis of plants and microbes
Bounded symbiosis and upwards reflection
Concurrency and parallelism, programming, networking, and security : proceedings