Skip to main content
User menu
Cart
Login
DIAL.pr - BOREAL
Search form
Search
Home
All Publications
Export
Help
Current search
1997
Romainville, Céline
1988
2019
2013
Document de travail (Working Paper)
Legay, Axel
Křetínský, Jan
You are here
Home
»
Search
»
Search results
»
*:*
»
^1997
»
^Romainville, Céline
»
^1988
»
^2019
»
2013
»
^Document de travail (Working Paper)
»
Legay, Axel
»
Křetínský, Jan
»
Search
Accès à distance ? S'identifier sur le proxy
UCLouvain
Search
Sort by
Relevancy
Publication date desc
Publication date asc
Creation date
Fulltext
Displaying
1
result.
Speech
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
Beneš, Nikola
Delahaye, Benoît
Fahrenberg, Uli
Křetínský, Jan
Legay, Axel
[UCL]
(2013)
CONCUR 2013 - 24th International Conference Concurrency Theory —