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

Browse archivesActive forum topics 
Recent comments
2 days 6 hours ago
2 days 20 hours ago
2 weeks 6 days ago
2 weeks 6 days ago
3 weeks 4 hours ago
3 weeks 4 hours ago
3 weeks 17 hours ago
3 weeks 18 hours ago
3 weeks 2 days ago
3 weeks 3 days ago