• M-nets

  • Referenced in 11 articles [sw09132]
  • Petri nets, with an application to the semantics of concurrent programming languages. This paper describes ... most other high-level net models; and composition – in particular, synchronisation – in a process algebraic ... composite high-level net is the composition of the unfoldings of its components ... illustrate their capability for that, the compositional semantics of B(PN)2 – a simple, expressive...
  • Ptolemy

  • Referenced in 78 articles [sw07459]
  • semantics for Ptolemy that is modular in the sense that atomic actors and their compositions...
  • Snoop

  • Referenced in 13 articles [sw17981]
  • complex) events. Snoop supports temporal, explicit, and composite events in addition to the traditional database ... contexts. Essentially, parameter contexts augment the semantics of composite events for computing their parameters...
  • WSAT

  • Referenced in 37 articles [sw01022]
  • WSAT), a tool for analyzing and verifying composite web service designs, with the state ... which lack formal semantics, complicate the formal specification of web service composition. (2) Asynchronous messaging...
  • Ruby

  • Referenced in 32 articles [sw16267]
  • semantics is that various elaborate features of Ruby can be cleanly represented as a composition ... other for representing control. The presented semantics leads straightforwardly to a reference implementation. Initial evaluation...
  • RGITL

  • Referenced in 5 articles [sw13917]
  • include an interleaving operator with compositional semantics. As a consequence, the calculus permits proving decomposition...
  • fc2tools

  • Referenced in 11 articles [sw12386]
  • algebra theory, for syntax and semantics; verification by compositional reductions and abstraction; alternative or combined...
  • CoLoSS

  • Referenced in 14 articles [sw07016]
  • modal formulas in a generic and compositional way. It implements a uniform polynomial space algorithm ... modal logics that are amenable to coalgebric semantics. This includes e.g. the logics ... axiomatisation of their semantics in a specific format. Moreover, CoLoSS is compositional: it synthesises decision...
  • DISSECT

  • Referenced in 2 articles [sw27167]
  • DISSECT (DIStributional SEmantics Composition Toolkit) is part of the COMPOSES (COMPositional Operations in SEmantic Space ... from co-occurrence matrices, perform compositional operations on these semantic spaces and rely on them...
  • ABS

  • Referenced in 26 articles [sw21211]
  • compositional. We discuss central design issues for ABS and formalize the type system and semantics...
  • I2T

  • Referenced in 4 articles [sw36509]
  • converts the results from previous steps into semantically meaningful, human readable, and query-able text ... grammar that specifies syntactic relations (i.e., compositional) and semantic relations (e.g., categorical, spatial, temporal...
  • MoDeST

  • Referenced in 30 articles [sw01544]
  • languages such as Promela, and deals with compositionality in a light-weight process-algebra style ... possesses a rigid, process-algebra style semantics, and (iii) yet provides modern and flexible specification...
  • Java+ITP

  • Referenced in 8 articles [sw32259]
  • semantics of this fragment as an equational theory in Maude. It supports compositional reasoning ... prove correct with respect to the algebraic semantics. After being decomposed, Hoare triples are translated...
  • PTSC

  • Referenced in 5 articles [sw13692]
  • probabilistic version of parallel composition. We formalize an operational semantics for such an integration. Based...
  • SCAIMO

  • Referenced in 1 article [sw02835]
  • case for enabling security in semantic web service composition Web service is a novel distributed ... called SCAIMO to achieve security conscious composition of Semantic Web services. We test our approach...
  • AWN

  • Referenced in 2 articles [sw29233]
  • compositions, nodes, partial networks, and complete networks. This development mechanises the original operational semantics ... introduces a variant ’open’ operational semantics that enables the compositional statement and proof of invariants ... abstract) data state manipulations. A framework for compositional invariant proofs is developed, including a tactic ... transferring lifted properties back to the standard semantics. A notion of ’control terms’ reduces proof...
  • SICK

  • Referenced in 1 article [sw27842]
  • SICK data set: Sentences Involving Compositional Knowledge. The SICK data set consists of about ... meant to quantify the degree of semantic relatedness between sentences; the categorizations in terms ... traditional benchmarks of a successful semantic system. In the final set, gold scores for relatedness ... SICK cure for the evaluation of compositional distributional semantic models...
  • NetCore

  • Referenced in 3 articles [sw13063]
  • SDNs. NetCore is expressive, compositional, and has a formal semantics. To ensure that a majority...
  • MixML

  • Referenced in 6 articles [sw22612]
  • languages into one. MixML seamlessly integrates hierarchical composition, translucent ML-style data abstraction, and mixin ... minimalist; it emphasizes how all the salient, semantically interesting features of the ML module system ... orthogonal underlying constructs, with mixin composition playing a central role. We provide a declarative type ... checking algorithm for this system. The operational semantics of MixML is defined by an elaboration...
  • HOMER

  • Referenced in 5 articles [sw13321]
  • equivalence. Thanks to the fully abstract game semantics, observational equivalence of these IA-terms reduces ... compositional. Further, if the terms are inequivalent, Homer will produce both a game-semantic...