Publications :: Search

Show venue

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

Conference
Name:	Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994 1994
DBLP:	db/conf/procomet/procomet1994.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 28  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Martín Abadi, Leslie Lamport. Decomposing Specifications of Concurrent Systems.	Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994 1994	(0)	1994
	Conference paper Ralph-Johan Back, Kaisa Sere. Action Systems with Synchronous Communication.	Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994 1994	(0)	1994
	Conference paper Frank S. de Boer. Compositionality in the Inductive Assertion Method for Concurrent Systems.	Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994 1994	(0)	1994
	Conference paper Egon Börger, Igor Durdanovic, Dean Rosenzweig. Occam: Specification and Compiler Correctness - Part I: The Primary Model.	Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994 1994	(0)	1994
	Conference paper James M. Boyle. Automatic, Self-adaptive Control and Unfold Transformations.	Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994 1994	(0)	1994
	Conference paper Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri. Axiomatising ST-Bisimulation Equivalence.	Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994 1994	(0)	1994
	Conference paper Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi. An Event Structure Semantics for Safe Graph Grammars.	Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994 1994	(0)	1994
	Conference paper Werner Damm, Johannes Helbig. Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams.	Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994 1994	(0)	1994
	Conference paper Henk Doornbos. A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs.	Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994 1994	(0)	1994
	Conference paper Nicoletta De Francesco, Ugo Montanari, Gioia Ristori. Modelling Concurrent Accesses to Shared Data via Petri Nets.	Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994 1994	(0)	1994

Show item 1 to 10 of 28  

Your query returned 28 matches in the database.