Sciweavers

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