Result 1 to 10 of 10 total
Cameo: an alternative model of concurrency for Eiffel. (English)
Formal Asp. Comput. 21, No. 4, 363-391 (2009).
1
Flexible access control policy for SCOOP. (English)
Formal Asp. Comput. 21, No. 4, 347-362 (2009).
2
Beyond contracts for concurrency. (English)
Formal Asp. Comput. 21, No. 4, 319-346 (2009).
3
Contracts for concurrency. (English)
Formal Asp. Comput. 21, No. 4, 305-318 (2009).
4
io-port 05616259 Allen, Gabrielle;
Bogden, Philip;
Creager, Gerry;
Dekate, Chirag;
Jesch, Carola;
Kaiser, Hartmut;
McLaren, Jon;
Perrie, Will;
Stone, Gregory W.;
Zhang, Xiongping
Towards an integrated GIS-based coastal forecast workflow. (English)
Concurrency Comput. Pract. Exp. 20, No. 14, 1637-1651 (2008).
5
An application portal for collaborative coastal modeling. (English)
Concurrency Comput. Pract. Exp. 19, No. 12, 1571-1581 (2007).
6
A CSP model of Eiffel’s SCOOP. (English)
Formal Asp. Comput. 19, No. 4, 487-512 (2007).
7
Composing atomic features. (English)
Sci. Comput. Program. 63, No. 2, 130-146 (2006).
8
Simulation of haulage truck loading techniques in an underground mine using WITNESS. (English)
Simulation 68, No. 5, 291-299 (1997).
9
An algorithm to minimize representations of finite order relations. (English)
Int. J. Comput. Math. 41, No.3-4, 139-150 (1992).
10
Result 1 to 10 of 10 total
Start
Contact
Print
General Help
