11066 search results - page 371 / 2214 » Linearity in Process Languages |
186
click to vote
IFIP
1999
Springer
15 years 11 months ago
1999
Springer
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...
172
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
240
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
169
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
194
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
Weld joint penetration control is a basic research topic in the welding research community. The authors propose using an innovative plasma arc welding process referred to as the q...