42 search results - page 2 / 9 » Patterns and Rules for Behavioural Subtyping |
TCS
2008
13 years 5 months ago
2008
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
ESOP
1999
Springer
13 years 9 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
FSS
2008
13 years 5 months ago
2008
In the field of classification problems, we often encounter classes with a very different percentage of patterns between them, classes with a high pattern percentage and classes w...
ICWE
2004
Springer
13 years 10 months ago
2004
Springer
Data mining includes four steps: data preparation, pattern mining, and pattern analysis and pattern application. But in web environment, the user activities become much more comple...
JFP
2010
13 years 3 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...