Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113065588> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2113065588 abstract "The event calculus is a logic-based formalism for dealing with temporal reasoning concerns. Erlang is a functional programming language designed from the ground up for tackling distributed programming problems. In this paper, it is shown that the event calculus is a suitable tool for designing and analyzing distributed systems written as Erlang programs." @default.
- W2113065588 created "2016-06-24" @default.
- W2113065588 creator A5059102235 @default.
- W2113065588 date "2011-11-01" @default.
- W2113065588 modified "2023-09-25" @default.
- W2113065588 title "Event Calculus for Reasoning about Erlang Systems" @default.
- W2113065588 cites W1540582158 @default.
- W2113065588 cites W1852523103 @default.
- W2113065588 cites W1988290118 @default.
- W2113065588 cites W1993578732 @default.
- W2113065588 cites W2069948580 @default.
- W2113065588 cites W2123775866 @default.
- W2113065588 cites W2161484642 @default.
- W2113065588 cites W2483377695 @default.
- W2113065588 cites W2899987233 @default.
- W2113065588 cites W2908189279 @default.
- W2113065588 doi "https://doi.org/10.1109/micai.2011.19" @default.
- W2113065588 hasPublicationYear "2011" @default.
- W2113065588 type Work @default.
- W2113065588 sameAs 2113065588 @default.
- W2113065588 citedByCount "1" @default.
- W2113065588 countsByYear W21130655882015 @default.
- W2113065588 crossrefType "proceedings-article" @default.
- W2113065588 hasAuthorship W2113065588A5059102235 @default.
- W2113065588 hasConcept C128838566 @default.
- W2113065588 hasConcept C142362112 @default.
- W2113065588 hasConcept C153349607 @default.
- W2113065588 hasConcept C18460168 @default.
- W2113065588 hasConcept C199343813 @default.
- W2113065588 hasConcept C199360897 @default.
- W2113065588 hasConcept C2777686260 @default.
- W2113065588 hasConcept C41008148 @default.
- W2113065588 hasConcept C42383842 @default.
- W2113065588 hasConcept C558565934 @default.
- W2113065588 hasConcept C71924100 @default.
- W2113065588 hasConcept C73301696 @default.
- W2113065588 hasConcept C80444323 @default.
- W2113065588 hasConcept C82484044 @default.
- W2113065588 hasConceptScore W2113065588C128838566 @default.
- W2113065588 hasConceptScore W2113065588C142362112 @default.
- W2113065588 hasConceptScore W2113065588C153349607 @default.
- W2113065588 hasConceptScore W2113065588C18460168 @default.
- W2113065588 hasConceptScore W2113065588C199343813 @default.
- W2113065588 hasConceptScore W2113065588C199360897 @default.
- W2113065588 hasConceptScore W2113065588C2777686260 @default.
- W2113065588 hasConceptScore W2113065588C41008148 @default.
- W2113065588 hasConceptScore W2113065588C42383842 @default.
- W2113065588 hasConceptScore W2113065588C558565934 @default.
- W2113065588 hasConceptScore W2113065588C71924100 @default.
- W2113065588 hasConceptScore W2113065588C73301696 @default.
- W2113065588 hasConceptScore W2113065588C80444323 @default.
- W2113065588 hasConceptScore W2113065588C82484044 @default.
- W2113065588 hasLocation W21130655881 @default.
- W2113065588 hasOpenAccess W2113065588 @default.
- W2113065588 hasPrimaryLocation W21130655881 @default.
- W2113065588 hasRelatedWork W151144758 @default.
- W2113065588 hasRelatedWork W153586760 @default.
- W2113065588 hasRelatedWork W1598781941 @default.
- W2113065588 hasRelatedWork W1604733797 @default.
- W2113065588 hasRelatedWork W1633236740 @default.
- W2113065588 hasRelatedWork W1837099973 @default.
- W2113065588 hasRelatedWork W1993760408 @default.
- W2113065588 hasRelatedWork W2051940228 @default.
- W2113065588 hasRelatedWork W2053384008 @default.
- W2113065588 hasRelatedWork W2053494132 @default.
- W2113065588 hasRelatedWork W2074929036 @default.
- W2113065588 hasRelatedWork W2086357502 @default.
- W2113065588 hasRelatedWork W2102676919 @default.
- W2113065588 hasRelatedWork W2136951061 @default.
- W2113065588 hasRelatedWork W2137410282 @default.
- W2113065588 hasRelatedWork W2139267958 @default.
- W2113065588 hasRelatedWork W2964892256 @default.
- W2113065588 hasRelatedWork W2967107494 @default.
- W2113065588 hasRelatedWork W3004180409 @default.
- W2113065588 hasRelatedWork W35691755 @default.
- W2113065588 isParatext "false" @default.
- W2113065588 isRetracted "false" @default.
- W2113065588 magId "2113065588" @default.
- W2113065588 workType "article" @default.