|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 7 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lucia Acciai, Michele Boreale |
Deciding safety properties in infinite-state pi-calculus via behavioural types.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira |
Static Analysis Techniques for Session-Oriented Calculi. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale, Rocco De Nicola |
Linear-Time and May-Testing in a Probabilistic Reactive Setting. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Spatial and behavioral types in the pi-calculus. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
Behavioural Contracts with Request-Response Operations. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
On the Relationship between Spatial Logics and Behavioral Simulations. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Deciding Spatial and behavioral properties in the pi-calculus. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
behavioural types, safety, decidability, pi-calculus, spatial logic |
| 1 | Lucia Acciai, Michele Boreale |
XPi: A typed process calculus for XML messaging. |
Sci. Comput. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Responsiveness in process calculi. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Spatial and Behavioral Types in the Pi-Calculus. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
behavioural type systems, pi-calculus, spatial logic |
| 1 | Lucia Acciai, Michele Boreale |
A Type System for Client Progress in a Service-Oriented Calculus. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
type systems, service-oriented computing, pi-calculus, process calculi |
| 1 | Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró |
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Type Abstractions of Name-Passing Processes. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |
A Concurrent Calculus with Atomic Transactions. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |
A Concurrent Calculus with Atomic Transactions |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Responsiveness in Process Calculi. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |
A Typed Calculus for Querying Distributed XML Documents. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
XPi: A Typed Process Calculus for XML Messaging. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")