Sciweavers

941 search results - page 4 / 189
» Mathematics on the (Semantic) NET
Sort
View
76
Voted
CALCO
2009
Springer
145views Mathematics» more  CALCO 2009»
15 years 7 months ago
Views on Behaviour Protocols and Their Semantic Foundation
Sebastian S. Bauer, Rolf Hennicker
75
Voted
MPC
1998
Springer
81views Mathematics» more  MPC 1998»
15 years 4 months ago
A Semantic Approach to Secure Information Flow
K. Rustan M. Leino, Rajeev Joshi
89
Voted
SOFSEM
2009
Springer
15 years 5 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...