|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho |
Linear Logical Relations for Session-Based Concurrency.  |
ESOP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the expressiveness and decidability of higher-order process calculi. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro |
Adaptable Processes (Extended Abstract). |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo A. López, Jorge A. Pérez |
Time and Exceptional Behavior in Multiparty Structured Interactions. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão |
Type-Based Access Control in Data-Centric Systems. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Pérez |
Higher-Order Concurrency: Expressiveness and Decidability. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro |
Steps on the Road to Component Evolvability. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo A. López, Carlos Olarte, Jorge A. Pérez |
Towards a Unified Framework for Declarative Structured Communications |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness of Polyadicity in Higher-Order Process Calculi. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Cinzia Di Giusto, Jorge A. Pérez |
Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro |
On the Expressiveness of Forwarding in Higher-Order Communication. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia |
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia |
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Pérez, Camilo Rueda |
Non-determinism and Probabilities in Timed Concurrent Constraint Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness and Decidability of Higher-Order Process Calculi. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages |
| 1 | Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia |
Timed Concurrent Constraint Programming for Analysing Biological Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia |
A Declarative Framework for Security: Secure Concurrent Constraint Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda |
Implementing an Abstraction Framework for Soft Constraints. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan Francisco Díaz, Camilo Rueda |
An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. |
MOZ |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda |
Implementing Semiring-Based Constraints Using Mozart. |
MOZ |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")