Publications :: Search

Show venue

On this page you see the details of the selected venue.

Journal
Name:	J. Log. Algebr. Program.
Year:	2011
Volume:	80
Number:	2
DBLP:	db/journals/jlp/jlp80.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 26  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Gabriel Ciobanu, Maciej Koutny. Timed Mobility in process algebra and Petri nets.	J. Log. Algebr. Program. 2011, Volume 80	(1)	2011
	Journal article Fabio Gadducci, Giacoma Valentina Monreale. A decentralised graphical implementation of mobile ambients.	J. Log. Algebr. Program. 2011, Volume 80	(0)	2011
	Journal article Robin Hirsch, Szabolcs Mikulás. Axiomatizability of representable domain algebras.	J. Log. Algebr. Program. 2011, Volume 80	(0)	2011
	Journal article Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky. Permission to speak: A logic for access control and conformance.	J. Log. Algebr. Program. 2011, Volume 80	(0)	2011
	Journal article Maria Grazia Buscemi, Ugo Montanari. QoS negotiation in service composition.	J. Log. Algebr. Program. 2011, Volume 80	(0)	2011
	Journal article Gordon J. Pace, Gerardo Schneider. Guest Editors' Foreword.	J. Log. Algebr. Program. 2011, Volume 80	(0)	2011
	Journal article Antonio Brogi. On the potential advantages of exploiting behavioural information for contract-based service discovery and composition.	J. Log. Algebr. Program. 2011, Volume 80	(0)	2011
	Journal article Sebastian Danicic, Robert M. Hierons, Michael R. Laurence. Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas.	J. Log. Algebr. Program. 2011, Volume 80	(0)	2011
	Journal article María-Emilia Cambronero, Gregorio Díaz Ruiz, Valentín Valero Ruiz, Enrique Martínez. Validation and verification of Web services choreographies by using timed automata.	J. Log. Algebr. Program. 2011, Volume 80	(0)	2011
	Conference paper Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton. Building Distributed Controllers for Systems with Priorities.	J. Log. Algebr. Program. 2011, Volume 80	(0)	2011

Show item 1 to 10 of 26  

Your query returned 26 matches in the database.