11066 search results - page 311 / 2214 » Linearity in Process Languages |
138
Voted
ARC
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We describe a new approach for creating hardware description language (HDL) specifications for custom instructions, to form part of the instruction-set architecture (ISA)...
127
Voted
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
127
Voted
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
Virtual enterprises have great difficulty in defining and adapting their business processes across the members of the virtual enterprise. We introduce an approach that allows (semi...
187
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
A well-known theorem in automata theory states that every context-free language is accepted by a pushdown automaton. We investigate this theorem in the setting of processes, using ...
132
click to vote
ACL
2006
15 years 6 months ago
2006
We present Outilex, a generalist linguistic platform for text processing. The platform includes several modules implementing the main operations for text processing and is designe...