|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 2 keywords
|
|
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roberto Gorrieri, Cristian Versari |
An Operational Petri Net Semantics for A2CCS.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari |
Biochemical Reaction Rules with Constraints. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Cristian Versari |
A Process Calculus for Expressing Finite Place/Transition Petri Nets |
EXPRESS'10 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Versari, Nadia Busi |
Stochastic biological modelling in the presence of multiple compartments. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Versari, Nadia Busi, Roberto Gorrieri |
An expressiveness study of priority in process calculi. |
Mathematical Structures in Computer Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aranda, Frank D. Valencia, Cristian Versari |
On the Expressive Power of Restriction and Priorities in CCS with Replication. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Versari, Nadia Busi |
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Versari, Roberto Gorrieri |
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus |
| 1 | Cristian Versari |
Encoding Catalytic P Systems in pi@. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Versari, Nadia Busi, Roberto Gorrieri |
On the Expressive Power of Global and Local Priority in Process Calculi. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Versari, Nadia Busi |
Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. |
CMSB |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Versari |
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus |
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")