289 search results - page 33 / 58 » Algebraic results for structured operational semantics |
156
click to vote
SEMWEB
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. Social Network Analysis (SNA) provides graph algorithms to characterize the structure of social networks, strategic positions in these networks, specific sub-networks and...
177
click to vote
LOGCOM
2010
15 years 21 days ago
2010
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...
151
click to vote
ECEASST
2008
15 years 6 months ago
2008
: The Resource Description Framework (RDF) is a standard developed by the World Wide Web Consortium (W3C) to facilitate the representation and exchange of structured (meta-)data in...
163
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
163
click to vote
ESORICS
2005
Springer
15 years 11 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...