1757 search results - page 1 / 352 » Integrating and Extending JCSP |
WOTUG
2007
13 years 6 months ago
2007
This paper presents the extended and re-integrated JCSP library of CSP packages for Java. It integrates the differing advances made by Quickstone’s JCSP Network Edition and the â...
B
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
WOTUG
2008
13 years 6 months ago
2008
In this paper we introduce the core features of CSO (Communicating Scala Objects)
AGI
2011
12 years 8 months ago
2011
This paper presents an integrated modeling framework where the learning and knowledge retrieval mechanisms of the ACT-R cognitive architecture are combined with a semantic resource...
ACL
2009
13 years 2 months ago
2009
We present a discourse-level Tree Adjoining Grammar which tightly integrates syntax and discourse levels, including a representation for discourse entities. We show that this tech...