Abstract cyclic communicating processes: A logical view

Lecture Notes In Computer Science (including Subseries Lecture Notes In Artificial Intelligence And Lecture Notes In Bioinformatics): Preface

De Souza O.N.
Telles G.P.
Palakal M.J.

November 2015

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)[No abstract available]6832 LNBI...

On the autocorrelation of cyclotomic generators

Meidl, W.
Winterhof, A.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Zu, Qiaohong
Hu, Bo
Elçi, Atilla

January 2013

Joint International Conference on Pervasive Computing and the Networked World, ICPCA/SWS 2012 -- 28 ...

Causal message sequence charts

Gazagnaire, T.
Genes, B.
Hélouët, L.
Thiagarajan, P.S.
Shaofa, Y.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lee, M.L.
Yu, J.X.
Bellahsène, Z.
Unland, R.

January 2010

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Communicating transaction processes: An MSC-based model of computation for reactive embedded systems

Roychoudhury, A.
Thiagarajan, P.S.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Roychoudhury, A.
D'Souza, M.

January 2012

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A CLP method for compositional and intermittent predicate abstraction

Jaffar, J.
Santosa, A.E.
Voicu, R.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Towards "propagation = logic + control"

Brand, S.
Yap, R.H.C.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A CLP approach to modelling systems

Jaffar, J.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The MSO theory of connectedly communicating processes

Madhusudan, P.
Thiagarajan, P.S.
Yang, S.

January 2005

10.1007/11590156_16Lecture Notes in Computer Science (including subseries Lecture Notes in Artificia...

Towards a better understanding of incremental learning

Jain, S.
Lange, S.
Zilles, S.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lynn Batten (13081779)
R Safavi-Naini (13293120)

February 2023

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and ...

Mapping 12 years of communication scholarship: themes and concepts in the Journal of Communication

Lin, J.
Lee, S.T.

January 2012

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A decidable class of asynchronous distributed controllers

Madhusudan, P.
Thiagarajan, P.S.

January 2002

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes In Computer Science (including Subseries Lecture Notes In Artificial Intelligence And Lecture Notes In Bioinformatics): Preface

De Souza O.N.
Telles G.P.
Palakal M.J.

November 2015

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)[No abstract available]6832 LNBI...

On the autocorrelation of cyclotomic generators

Meidl, W.
Winterhof, A.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Zu, Qiaohong
Hu, Bo
Elçi, Atilla

January 2013

Joint International Conference on Pervasive Computing and the Networked World, ICPCA/SWS 2012 -- 28 ...

Causal message sequence charts

Gazagnaire, T.
Genes, B.
Hélouët, L.
Thiagarajan, P.S.
Shaofa, Y.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lee, M.L.
Yu, J.X.
Bellahsène, Z.
Unland, R.

January 2010

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Communicating transaction processes: An MSC-based model of computation for reactive embedded systems

Roychoudhury, A.
Thiagarajan, P.S.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Roychoudhury, A.
D'Souza, M.

January 2012

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A CLP method for compositional and intermittent predicate abstraction

Jaffar, J.
Santosa, A.E.
Voicu, R.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Towards "propagation = logic + control"

Brand, S.
Yap, R.H.C.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A CLP approach to modelling systems

Jaffar, J.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The MSO theory of connectedly communicating processes

Madhusudan, P.
Thiagarajan, P.S.
Yang, S.

January 2005

10.1007/11590156_16Lecture Notes in Computer Science (including subseries Lecture Notes in Artificia...

Towards a better understanding of incremental learning

Jain, S.
Lange, S.
Zilles, S.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lynn Batten (13081779)
R Safavi-Naini (13293120)

February 2023

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and ...

Mapping 12 years of communication scholarship: themes and concepts in the Journal of Communication

Lin, J.
Lee, S.T.

January 2012

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A decidable class of asynchronous distributed controllers

Madhusudan, P.
Thiagarajan, P.S.

January 2002

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes In Computer Science (including Subseries Lecture Notes In Artificial Intelligence And Lecture Notes In Bioinformatics): Preface

De Souza O.N.
Telles G.P.
Palakal M.J.

November 2015

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)[No abstract available]6832 LNBI...

On the autocorrelation of cyclotomic generators

Meidl, W.
Winterhof, A.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Zu, Qiaohong
Hu, Bo
Elçi, Atilla

January 2013

Joint International Conference on Pervasive Computing and the Networked World, ICPCA/SWS 2012 -- 28 ...

Abstract cyclic communicating processes: A logical view

Abstract

Extracted data

Abstract cyclic communicating processes: A logical view

Abstract

Extracted data

Related items

Related items