8008 search results - page 202 / 1602 » Computer-Aided Language Processing |
110
click to vote
ICALP
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this pa...
146
click to vote
SOSL
1993
15 years 7 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
218
click to vote
FDL
2011
IEEE
14 years 2 months ago
2011
IEEE
Refinement of AbstractSystemC Refinement of Abstract Adaptive Processes for Implementation into Dynamically Reconfigurable Hardwareg F HerreraF. Herrera E. Villar P.A. Hartmann Sli...
109
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
In the context of Model Driven Development, models play a central role. Since models can nowadays be executed, they are used not only for description but also for production [32][3...
105
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
We suggest to extend BPEL4WS with structured activities for multiple instantiation since this is a crucial feature of a business process modelling language. In particular, we propo...