On a process algebraic representation of sequence diagrams

On a process algebraic representation of sequence diagrams

Bibliographic Details
Main Authors:	Jacobs, J, Simpson, A
Format:	Conference item
Published:	Springer 2015

Similar Items

Perturbative 4D conformal field theories and representation theory of diagram algebras
by: Robert de Mello Koch, et al.
Published: (2020-05-01)

Cohomological stratification of diagram algebras
by: Hartmann, R, et al.
Published: (2010)

Gelfand Models for Diagram Algebras
by: Tom Halverson
Published: (2013-01-01)

A Process Algebraic Approach to Decomposition of Communicating SysML Blocks
by: Jacobs, J, et al.
Published: (2013)

BIFURCATION DIAGRAM FOR NONLINEAR SYSTEM OF ALGEBRAIC EQUATIONS WITH PARAMETERS
by: Murtada J. Mohammed, et al.
Published: (2015-06-01)

Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML
by: Jacobs, J, et al.
Published: (2013)

Conceptual representations : architectural diagrams /
by: Young, Pyo Mi
Published: (2011)

Minimization of binary decision diagrams for systems of completely defined Boolean functions using Shannon expansions and algebraic representations of cofactors
by: P. N. Bibilo, et al.
Published: (2021-07-01)

Representations of algebras /
by: International Conference on Representations of Algebras (1974 : Carleton University, Ottawa), et al.
Published: (1975)

State diagram representation for sequential systems /
by: 370596 Thiagaraj, Mariappan
Published: (2006)

Phase diagram and storage capacity of sequence processing neural networks
by: During, A, et al.
Published: (1998)

On the Representation of the Lattices of the Algebraic Sets of the Universal Algebras
by: A.G. Pinus
Published: (2019-09-01)

Combining Sequence Diagrams and OCL for Liveness
by: Cavarra, A, et al.
Published: (2005)

Pullback Diagram of Hilbert Modules over Locally C ∗ -Algebras
by: M. Khanehgir, et al.
Published: (2013-12-01)

RESEARCH ON THEMATIC DATA PROCESSING AND DATABASE CONSTRUCTION OF SEQUENCE DIAGRAM
by: T. Zhao, et al.
Published: (2022-06-01)

Representation theory of algebras /
by: Philadelphia Conference (1976), et al.
Published: (1978)

The representation of premodal algebras
by: Giulia Simi
Published: (1990-11-01)

Development and Validation of the Force Diagrams Representation Test
by: Judyanto Sirait, et al.
Published: (2023-12-01)

On functional representations of the conformal algebra
by: Oliver J. Rosten
Published: (2017-07-01)

Test case generation from UML sequence diagram and statechart diagram /
by: Nurelisa Mohd. Efendi, 1993- , author 611951, et al.
Published: (2017)

Test case generation from UML sequence diagram and statechart diagram /
by: Nurelisa Mohd. Efendi, 1993- , author 611951
Published: (2017)

Combining sequence diagrams and OCL for liveness.
by: Cavarra, A
Published: (2005)

Galois representations attached to algebraic automorphic representations
by: Green, B
Published: (2016)

Pembuatan Kakas Bantu untuk Mendeteksi Ketidaksesuaian Diagram Urutan (Sequence Diagram) dengan Diagram Kasus Penggunaan (Use Case Diagram)
by: Andrias Meisyal Yuwantoko, et al.
Published: (2017-03-01)

Unitary representations of rational Cherednik algebras and Hecke algebras
by: Stoica, Emanuel (Emanuel I.)
Published: (2011)

Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
by: Ameedeen, Mohamed Ariff
Published: (2010)

Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
by: Ameedeen, Mohamed Ariff, et al.

Representations of rational Cherednik algebras
by: Rouquier, R
Published: (2005)

Representation dimension of exterior algebras
by: Rouquier, R
Published: (2006)

Representation type of Schur algebras
by: Doty, SR, et al.
Published: (1999)

Linear algebra and group representations /
by: 189505 Shaw, Ronald
Published: (1982)

On representations of rational Cherednik algebras
by: Shelley-Abrahamson, Seth
Published: (2018)

Representations of (quasi-)complemented algebras
by: Marina Haralampidou, et al.
Published: (2022-01-01)

Affinoid enveloping algebras and their representations
by: Stanciu, I
Published: (2020)

The representation theory of seam algebras
by: Alexis Langlois-Rémillard, Yvan Saint-Aubin
Published: (2020-02-01)

Representation and duality for Hilbert algebras
by: Celani Sergio, et al.
Published: (2009-09-01)

Challenges in Developing Sequence Diagrams (UML)
by: Tri Astoto Kurniawan, et al.
Published: (2020-07-01)

Quantum toroidal algebras, quantum affine algebras, and their representation theory
by: Laurie, D
Published: (2024)

Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
by: Cavarra, A, et al.
Published: (2004)

Bootstrapping Witten diagrams via differential representation in Mellin space
by: Yue-Zhou Li, et al.
Published: (2023-07-01)