Sciweavers

3575 search results - page 64 / 715
» Modeling Concurrency with Geometry
Sort
View
ICECCS
2010
IEEE
139views Hardware» more  ICECCS 2010»
15 years 1 months ago
Formal Modeling for UML/MARTE Concurrency Resources
Pablo Peñil, Hector Posadas, Eugenio Villar
CONSTRAINTS
2008
114views more  CONSTRAINTS 2008»
15 years 1 months ago
Modeling Biological Systems in Stochastic Concurrent Constraint Programming
Luca Bortolussi, Alberto Policriti
TOPLAS
2008
77views more  TOPLAS 2008»
15 years 1 months ago
A programming model for concurrent object-oriented programs
Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Ru...