Sciweavers

941 search results - page 4 / 189
» Mathematics on the (Semantic) NET
Sort
View
109
Voted
CALCO
2009
Springer
145views Mathematics» more  CALCO 2009»
15 years 10 months ago
Views on Behaviour Protocols and Their Semantic Foundation
Sebastian S. Bauer, Rolf Hennicker
98
Voted
MPC
1998
Springer
81views Mathematics» more  MPC 1998»
15 years 7 months ago
A Semantic Approach to Secure Information Flow
K. Rustan M. Leino, Rajeev Joshi
109
Voted
SOFSEM
2009
Springer
15 years 8 months ago
Partial Order Semantics of Types of Nets
In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the s...
Robert Lorenz, Gabriel Juhás, Sebastian Mau...