https://data.archives-ouvertes.fr/author/869577

https://data.archives-ouvertes.fr/author/869577

http://xmlns.com/foaf/0.1/topic_interest Failures–divergences refinement
http://xmlns.com/foaf/0.1/topic_interest Protocols
http://xmlns.com/foaf/0.1/topic_interest Deadlock
http://xmlns.com/foaf/0.1/topic_interest Process algebraic semantics
http://xmlns.com/foaf/0.1/name Gerhard Schellhorn
http://xmlns.com/foaf/0.1/topic_interest Outputs
http://xmlns.com/foaf/0.1/topic_interest Compositional reasoning
http://xmlns.com/foaf/0.1/topic_interest Mechanisation
http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/topic_interest Data refinement
http://xmlns.com/foaf/0.1/topic_interest Refinement
http://xmlns.com/foaf/0.1/topic_interest Linearizability
http://xmlns.com/foaf/0.1/topic_interest Synchronisation
http://xmlns.com/foaf/0.1/topic_interest Temporal logic
http://xmlns.com/foaf/0.1/topic_interest Lock-free
http://xmlns.com/foaf/0.1/topic_interest Simulations
http://xmlns.com/foaf/0.1/firstName Gerhard
http://xmlns.com/foaf/0.1/topic_interest Rely-guarantee
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/mbox_sha1sum 04b4f71bd04340c7c2836009cd317633
http://xmlns.com/foaf/0.1/topic_interest Atomic actions
http://xmlns.com/foaf/0.1/familyName Schellhorn
http://xmlns.com/foaf/0.1/topic_interest 2-Phase protocols
http://xmlns.com/foaf/0.1/topic_interest Serialisation
http://xmlns.com/foaf/0.1/topic_interest Forward and backward simulation
http://xmlns.com/foaf/0.1/topic_interest KIV
http://xmlns.com/foaf/0.1/topic_interest Mondex
http://xmlns.com/foaf/0.1/topic_interest Internal operations
https://aurehal.archives-ouvertes.fr/author/869577

Télécharger au format  
RDF/XML Turtle N3 Json