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  6000 reads

Browse archivesActive forum topics 
Recent comments
4 days 8 hours ago
4 days 14 hours ago
5 days 6 hours ago
5 days 13 hours ago
5 days 15 hours ago
5 days 20 hours ago
6 days 1 hour ago
6 days 2 hours ago
6 days 5 hours ago
6 days 7 hours ago