General Info
Events
Staff
Research
Scientific Council
Conferences
Seminars
Recent Publications
Library
Publishing Centre
Staff Services
Links
Publishing Centre
\
2003
\ 964 - Abstract
Site Map
964 - Abstract
2003
Publishing Centre
Home
Andrzej M. Borzyszkowski, Philippe Darondeau
Transition Systems without Transitions
964
Abstract
We study the problem of embedding partial 2-structures into set 2-structures such that the target substructures is full and forward closed and it is minimal w.r.t. these properties.
Keywords :
2-structures,transition systems,elementary sets.
webmaster@IPIPAN.Waw.PL
Copyright by ICS PAS - 2003
