User loginNavigation 
Pure bigraphs: structure and dynamics (by Robin Milner)I just came accross this interesting paper: Pure bigraphs: structure and dynamics. From the abstract: "...it is shown that behavioural analysis for Petri nets, picalculus and mobile ambients can all be recovered in the uniform framework of bigraphs."
An interesting thing from my point of view is that an attempt is made to provide a descriptive explanation of the material, obviously along with math proofs. By shahbaz at 20050527 15:56  LtU Forum  previous forum topic  next forum topic  other blogs  6177 reads

Browse archivesActive forum topics 
Recent comments
13 hours 40 min ago
17 hours 30 sec ago
17 hours 16 min ago
21 hours 46 min ago
1 day 5 hours ago
1 day 10 hours ago
1 day 10 hours ago
1 day 14 hours ago
2 days 8 hours ago
2 days 11 hours ago