The Journal of Logic and Algebraic Programming

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Validation and verification of Web services choreographies by using timed automata
The Journal of Logic and Algebraic Programming - Tập 80 - Trang 25-49 - 2011
M. Emilia Cambronero, Gregorio Díaz, Valentín Valero, Enrique Martínez
Relational measures and integration in preference modeling
The Journal of Logic and Algebraic Programming - Tập 76 - Trang 112-129 - 2008
Gunther Schmidt, Rudolf Berghammer
A decentralised graphical implementation of mobile ambients
The Journal of Logic and Algebraic Programming - Tập 80 - Trang 113-136 - 2011
Fabio Gadducci, Giacoma Valentina Monreale
A Hofmann–Mislove theorem for bitopological spaces
The Journal of Logic and Algebraic Programming - Tập 76 - Trang 161-174 - 2008
Achim Jung, M. Andrew Moshier
A process algebraic view of shared dataspace coordination
The Journal of Logic and Algebraic Programming - Tập 75 - Trang 52-85 - 2008
Nadia Busi, Gianluigi Zavattaro
Syntax and semantics of the compositional interchange format for hybrid systems
The Journal of Logic and Algebraic Programming - Tập 82 - Trang 1-52 - 2013
D.E. Nadales Agut, D.A. van Beek, J.E. Rooda
Deriving a Floyd–Hoare logic for non-local jumps from a formulæ-as-types notion of control
The Journal of Logic and Algebraic Programming - Tập 81 - Trang 181-208 - 2012
T. Crolard, E. Polonowski
Positive loop-closed automata: a decidable class of hybrid systems
The Journal of Logic and Algebraic Programming - Tập 52 - Trang 79-108 - 2002
Xuandong Li, Jianhua Zhao, Yu Pei, Yong Li, Tao Zheng, Guoliang Zheng
Contact, closure, topology, and the linking of row and column types of relations
The Journal of Logic and Algebraic Programming - Tập 80 - Trang 339-361 - 2011
Gunther Schmidt, Rudolf Berghammer
Formally transforming user-model testing problems into implementer-model testing problems and viceversa
The Journal of Logic and Algebraic Programming - Tập 78 - Trang 425-453 - 2009
César Andrés, Luis Llana, Ismael Rodríguez
Tổng số: 168   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10