|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniele Gorla |
On the Relative Expressive Power of Calculi for Mobility.  |
Electr. Notes Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas T. Hildebrandt, Henning Niss, Martin Olsen |
Formalising Business Process Execution with Bigraphs and Reactive XML. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ole Høgh Jensen, Robin Milner |
Bigraphs and transitions. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity |
| 1 | Robin Milner |
Bigraphs as a Model for Mobile Interaction. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Nottegar, Corrado Priami, Pierpaolo Degano |
Performance Evaluation of Mobile Processes via Abstract Machines. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
Calculi for mobility, enhanced operational semantics, formal methodology, performance evaluation, stochastic models |
| 1 | N. Raja, R. K. Shyamasundar |
Mobile Computation: Calculus and Languages (A Tutorial). |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")