A theory of regular MSC languages

A theory of regular MSC languages

10.1016/j.ic.2004.08.004

Saved in:

書目詳細資料
Main Authors:	Henriksen, J.G., Mukund, M., Kumar, K.N., Sohoni, M., Thiagarajan, P.S.
其他作者:	COMPUTER SCIENCE
格式:	Article
出版:	2013
主題:	Message sequence charts Message-passing systems Monadic second-order logic Realizability Regularity Synthesis
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/39782
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

相似書籍

AN APPROACH TO DISTRIBUTED FUNCTIONAL PROGRAMMING
由: ARUN KUMAR C.B
出版: (2020)

Scratchpad allocation for concurrent embedded software
由: Suhendra, V., et al.
出版: (2013)

Symbolic message sequence charts
由: Roychoudhury, A., et al.
出版: (2013)

Designing communicating transaction processes by supervisory control theory
由: Feng, L., et al.
出版: (2013)

Interacting process classes
由: Goel, A., et al.
出版: (2013)

Monadic second-order incorrectness logic for GP 2
由: POSKITT, Christopher M., et al.
出版: (2023)

A verification study based on the CTP model
由: KAMRUL HASAN TALUKDER
出版: (2010)

Symbolic message sequence charts
由: Roychoudhury, A., et al.
出版: (2013)

Timing analysis of concurrent programs running on shared cache multi-cores
由: LI YAN
出版: (2010)

A new insight into GAMP and AMP
由: Liu, Lei, et al.
出版: (2021)

New results in the simultaneous message passing model via information theoretic techniques
由: Jain, R., et al.
出版: (2013)

LOW-POWER MANY-CORE ARCHITECTURES FOR THE NEXT GENERATION WEARABLES
由: TAN CHENG
出版: (2019)

A parallel analysis of the scattering from inhomogeneous dielectric bodies by the volume integral equation and the precorrected-FFT algorithm
由: Wang, Y.-J., et al.
出版: (2014)

A parallel shuffled complex evolution model calibrating algorithm to reduce computational time
由: Muttil, N., et al.
出版: (2014)

Rethinking the message passing for graph-level classification tasks in a category-based view
由: Lei, Han, et al.
出版: (2025)

Why do I keep checking Facebook: Effects of message characteristics on the formation of Social Network Services addiction
由: Xu, H., et al.
出版: (2014)

Scratchpad allocation for concurrent embedded software
由: Suhendra, V., et al.
出版: (2013)

Of choices, failures and asynchrony: the many faces of set agreement
由: Alistarh, D., et al.
出版: (2013)

Evaluating large graph processing in MapReduce based on message passing
由: Pan, W., et al.
出版: (2013)

Variational inference for generalized linear mixed models using partially noncentered parametrizations
由: Tan, L.S.L., et al.
出版: (2014)

Parameterized validation of UML-Like models for reactive embedded systems
由: ANKIT GOEL
出版: (2010)

Mitigating the Impact of Physical Layer Capture and ACK Interference in Wireless 802.11 Networks
由: WANG WEI
出版: (2015)

Union subgraph neural networks
由: Xu, Jiaxing, et al.
出版: (2024)

Mirored mesage wall: Bridging the real and virtual comunity
由: Tan, B.-K., et al.
出版: (2013)

Linguistic sexism in current upper secondary school English language textbooks: Tiếng Anh 10, Tiếng Anh 11 and Tiếng Anh 12
由: Nguyen, Doan Canh
出版: (2018)

Parallel sequential minimal optimization for the training of support vector machines
由: Cao, L.J., et al.
出版: (2014)

Developing parallel sequential minimal optimization for fast training support vector machine
由: Cao, L.J., et al.
出版: (2014)

Leibniz, Berkeley and Monads: Dissolving the Problems of Divine and Human Moral Culpability
由: KOH KIA LING, CHARLENE
出版: (2012)

Design synthesis from interaction and state-based specifications
由: Sun, J., et al.
出版: (2013)

"It's just not that exciting anymore": The changing centrality of SMS in the everyday lives of young Danes
由: Bertel, Troels Fibæk, et al.
出版: (2016)

Comparison of text messaging data collection vs face-to-face interviews for public health surveys : a cluster randomized crossover study of care-seeking for childhood pneumonia and diarrhoea in rural China
由: van Velthoven, Michelle Helena, et al.
出版: (2018)

FiliText: A Filipino hands-free text messaging application
由: Chua, Jerrick Darryl L., et al.
出版: (2011)

Process enhancement through email management improvement and better delegation
由: Antenor, Lorezze B.
出版: (2018)

On identification secret sharing schemes
由: Cai, N., et al.
出版: (2013)

Regular lossy functions and their applications in leakage-resilient cryptography
由: CHEN, Yu, et al.
出版: (2018)

A generic information extraction architecture for financial applications
由: Wee, L.K.A., et al.
出版: (2013)

Food messaging: Using an edible medium for social messaging
由: Wei, J., et al.
出版: (2014)

Towards interactive steering of a very large floating structure code by using HPC parallelisation strategies
由: Frisch, J., et al.
出版: (2014)

Realizations of the Abstract Regular H3 Polyhedra
由: Aranas, Jonn Angel L, et al.
出版: (2022)

Change awareness in opportunistic networks
由: Guo, X.F., et al.
出版: (2014)