Matches in SemOpenAlex for { <https://semopenalex.org/work/W1948419321> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1948419321 abstract "<p>This paper introduces a language, Epsilon, for the description of systems with concurrency, and presents a formal definition of Epsilon's semantics. The language is based on Delta ‹ the first major attempt to create a language solely aimed at system description without the restrictions placed on languages executable on digital computers. The design of Delta was itself heavily influenced by the experience from the development and use of Simula.</p><p>It is not obvious what kind of semantics a system description language should have. The situation is more complex than with normal algorithmic languages and none of the existing semantic approaches appear to be satisfactory.</p><p>To clarify the situation, we first describe the language Epsilon, which contains only a few basic primitives. Then we define the semantics of Epsilon by means of a formal model based on Petri nets. The model called ''Concurrent systems'' is an extension of Petri nets with a data part and with expressions attached to transitions and to places. The model is a further development of formalisms proposed by R.M. Keller and A. Mazurkiewicz. The expressions attached to places is a novel feature and is used to define continuous transformations on the data part. The semantics of a given system description is defined in terms of firing sequences of the corresponding concurrent system.</p><p>To be presented at the Evian Conference on Semantics of Concurrent Computations, July 1979.</p>" @default.
- W1948419321 created "2016-06-24" @default.
- W1948419321 creator A5019145437 @default.
- W1948419321 creator A5038756475 @default.
- W1948419321 creator A5052052857 @default.
- W1948419321 date "1981-11-01" @default.
- W1948419321 modified "2023-09-26" @default.
- W1948419321 title "A Petri Net Definition of a System Description Language" @default.
- W1948419321 doi "https://doi.org/10.7146/dpb.v8i96.6512" @default.
- W1948419321 hasPublicationYear "1981" @default.
- W1948419321 type Work @default.
- W1948419321 sameAs 1948419321 @default.
- W1948419321 citedByCount "0" @default.
- W1948419321 crossrefType "journal-article" @default.
- W1948419321 hasAuthorship W1948419321A5019145437 @default.
- W1948419321 hasAuthorship W1948419321A5038756475 @default.
- W1948419321 hasAuthorship W1948419321A5052052857 @default.
- W1948419321 hasBestOaLocation W19484193211 @default.
- W1948419321 hasConcept C146499914 @default.
- W1948419321 hasConcept C156325763 @default.
- W1948419321 hasConcept C160145156 @default.
- W1948419321 hasConcept C171018156 @default.
- W1948419321 hasConcept C184337299 @default.
- W1948419321 hasConcept C193702766 @default.
- W1948419321 hasConcept C199360897 @default.
- W1948419321 hasConcept C207648694 @default.
- W1948419321 hasConcept C2524010 @default.
- W1948419321 hasConcept C2778029271 @default.
- W1948419321 hasConcept C33923547 @default.
- W1948419321 hasConcept C38677869 @default.
- W1948419321 hasConcept C41008148 @default.
- W1948419321 hasConcept C80444323 @default.
- W1948419321 hasConceptScore W1948419321C146499914 @default.
- W1948419321 hasConceptScore W1948419321C156325763 @default.
- W1948419321 hasConceptScore W1948419321C160145156 @default.
- W1948419321 hasConceptScore W1948419321C171018156 @default.
- W1948419321 hasConceptScore W1948419321C184337299 @default.
- W1948419321 hasConceptScore W1948419321C193702766 @default.
- W1948419321 hasConceptScore W1948419321C199360897 @default.
- W1948419321 hasConceptScore W1948419321C207648694 @default.
- W1948419321 hasConceptScore W1948419321C2524010 @default.
- W1948419321 hasConceptScore W1948419321C2778029271 @default.
- W1948419321 hasConceptScore W1948419321C33923547 @default.
- W1948419321 hasConceptScore W1948419321C38677869 @default.
- W1948419321 hasConceptScore W1948419321C41008148 @default.
- W1948419321 hasConceptScore W1948419321C80444323 @default.
- W1948419321 hasIssue "96" @default.
- W1948419321 hasLocation W19484193211 @default.
- W1948419321 hasOpenAccess W1948419321 @default.
- W1948419321 hasPrimaryLocation W19484193211 @default.
- W1948419321 hasRelatedWork W1481549060 @default.
- W1948419321 hasRelatedWork W1494714697 @default.
- W1948419321 hasRelatedWork W1536150964 @default.
- W1948419321 hasRelatedWork W1568032801 @default.
- W1948419321 hasRelatedWork W1759888694 @default.
- W1948419321 hasRelatedWork W1948419321 @default.
- W1948419321 hasRelatedWork W2062555630 @default.
- W1948419321 hasRelatedWork W2107316249 @default.
- W1948419321 hasRelatedWork W2138325028 @default.
- W1948419321 hasRelatedWork W4300902367 @default.
- W1948419321 hasVolume "8" @default.
- W1948419321 isParatext "false" @default.
- W1948419321 isRetracted "false" @default.
- W1948419321 magId "1948419321" @default.
- W1948419321 workType "article" @default.