1 |
Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21)
|
|
|
|
BASE
|
|
Show details
|
|
2 |
Using Contrastive Terminology Analysis in Teaching a Foreign Language
|
|
|
|
In: Eurasian Journal of Applied Linguistics, Vol 5, Iss 3, Pp 461-471 (2019) (2019)
|
|
BASE
|
|
Show details
|
|
3 |
Mémoire d'habilitation à diriger des recherches
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01096078 ; Logic in Computer Science [cs.LO]. Université Blaise Pascal (Clermont-Ferrand 2), 2012 (2012)
|
|
BASE
|
|
Show details
|
|
4 |
Verification Architectures: Compositional Reasoning for Real-time Systems
|
|
|
|
In: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167 (2010)
|
|
BASE
|
|
Show details
|
|
6 |
The Design of the Zinc Modelling Language
|
|
|
|
In: http://ai.uwaterloo.ca/~vanbeek/Constraints/Papers/MarriottNRSGW08.pdf (2008)
|
|
BASE
|
|
Show details
|
|
7 |
A Formal Syntax and Semantics for the GSPML Language
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
8 |
Expressing Constraint Satisfaction Problems in Declarative Modeling Using Natural Language and Fuzzy Sets
|
|
|
|
In: ISSN: 0097-8493 ; Computers and Graphics ; https://hal.archives-ouvertes.fr/hal-00816825 ; Computers and Graphics, Elsevier, 2000, 24 (4), pp.555-568 (2000)
|
|
BASE
|
|
Show details
|
|
9 |
Browsing Parallel Process Networks
|
|
|
|
In: ftp://ftp.cs.unc.edu/pub/users/stotts/cspTR.ps.gz (1990)
|
|
BASE
|
|
Show details
|
|
10 |
Browsing Parallel Process Networks
|
|
|
|
In: http://rockfish-cs.cs.unc.edu/pubs/jpdc90.pdf (1990)
|
|
BASE
|
|
Show details
|
|
12 |
Modularity and Symmetry for Distributed System; Application to the CSP Language ; Modularité et symétrie pour les systèmes répartis; application au langage CSP
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00416184 ; Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1987. Français (1987)
|
|
BASE
|
|
Show details
|
|
13 |
M.: The design of the Zinc modelling language
|
|
|
|
In: http://www.cs.mu.oz.au/~pjs/papers/constraints08b.pdf
|
|
BASE
|
|
Show details
|
|
|
|