Publications :: Search

Show venue

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

Conference
Name:	Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 1979
DBLP:	db/conf/scc/scc1979.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 20  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Karl R. Abrahamson. Modal Logic of Concurrent Nondeterministic Programs.	Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 1979	(0)	1979
	Conference paper Jean-Raymond Abrial, Stephen A. Schuman. Non-Deterministic System Specification.	Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 1979	(0)	1979
	Conference paper Nissim Francez. On Achieving Distributed Termination.	Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 1979	(0)	1979
	Conference paper Daniel P. Friedman, David S. Wise. An Approach to Fair Applicative Multiprogramming.	Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 1979	(0)	1979
	Conference paper Hartmann J. Genrich, Kurt Lautenbach. The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets.	Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 1979	(0)	1979
	Conference paper John S. Gourlay, William C. Rounds, Richard Statman. On Properties Preserved by Contraction of Concurrent Systems.	Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 1979	(0)	1979
	Conference paper Otthein Herzog. Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets.	Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 1979	(0)	1979
	Conference paper Carl Hewitt, Giuseppe Attardi, Henry Lieberman. Specifying and Proving Properties of Guardians for Distributed Systems.	Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 1979	(0)	1979
	Conference paper Ryszard Janicki. A Characterization of Concurrency-Like Relations.	Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 1979	(0)	1979
	Conference paper Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen. A Petri Net Definition of a System Description Language.	Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 1979	(0)	1979

Show item 1 to 10 of 20  

Your query returned 20 matches in the database.