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

Browse archivesActive forum topics 
Recent comments
6 weeks 4 days ago
6 weeks 6 days ago
7 weeks 14 hours ago
14 weeks 12 hours ago
19 weeks 5 days ago
19 weeks 6 days ago
20 weeks 5 days ago
23 weeks 3 days ago
24 weeks 6 days ago
25 weeks 2 hours ago