742 search results - page 46 / 149 » Set-based Concurrent Engineering |
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
CERA
2008
14 years 10 months ago
2008
er.sagepub.com/cgi/content/abstract/16/2/121 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...
CERA
2008
14 years 10 months ago
2008
er.sagepub.com/cgi/content/abstract/16/3/221 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...
CERA
2008
14 years 10 months ago
2008
er.sagepub.com/cgi/content/abstract/16/4/263 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...