Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
The Pennsylvania State University CiteSeerX Archives (4)
Kim Marriott (2)
Mark Wallace (2)
Nicholas Nethercote (2)
P. David Stotts (2)
Peter J. Stuckey (2)
Richard Furuta (2)
ANR-11-IS02-0003,ALCOCLAN,Algorithmes et complexité´ des langages de contraintes(2011) (1)
Alain Quilliot (1)
Bougé, Luc (1)
more
Year
Medium
Type
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 13 of 13
1
Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21)
Butterfield, Andrew
;
Ekembe Ngondi, Gerard
;
Koutavas, Vasileios
. - : Springer, 2021
BASE
Show details
2
Using Contrastive Terminology Analysis in Teaching a Foreign Language
Chunxiang Wu
;
Jennifer Helen Baccanello
In: Eurasian Journal of Applied Linguistics, Vol 5, Iss 3, Pp 461-471 (2019) (2019)
BASE
Show details
3
Mémoire d'habilitation à diriger des recherches
Madelaine, Florent
. - : HAL CCSD, 2012
In: https://tel.archives-ouvertes.fr/tel-01096078 ; Logic in Computer Science [cs.LO]. Université Blaise Pascal (Clermont-Ferrand 2), 2012 (2012)
BASE
Show details
4
Verification Architectures: Compositional Reasoning for Real-time Systems
Faber, Johannes
In: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167 (2010)
BASE
Show details
5
A semantics for behavior trees
Colvin, Robert
;
Hayes, Ian J.
. - 2010
BASE
Show details
6
The Design of the Zinc Modelling Language
Kim Marriott
;
Nicholas Nethercote
;
reza rafeh
...
In: http://ai.uwaterloo.ca/~vanbeek/Constraints/Papers/MarriottNRSGW08.pdf (2008)
BASE
Show details
7
A Formal Syntax and Semantics for the GSPML Language
McDermott, John P.
In: DTIC AND NTIS (2005)
Abstract:
This report formally defines both a syntax and a semantics for the GSPML visual language. The syntax is defined with a hypergraph grammar and the semantics is defined with Plotkin style structural operational semantics. A decorated trace semantics is derived from the labeled transition system of the structural operational semantics. GSPML itself is motivated by shortcomings in the visual security modeling capabilities of the Model Driven Architecture (MDA).
Keyword:
*DATA PROCESSING SECURITY
;
*SECURITY PROTOCOL MODELING
;
*SEMANTICS
;
*SIMULATION LANGUAGES
;
*SOFTWARE ENGINEERING
;
*SYNTAX
;
*VISUAL MODELING
;
ARCHITECTURE
;
Computer Programming and Software
;
Computer Systems Management and Standards
;
COMPUTERIZED SIMULATION
;
CRYPTOGRAPHY
;
CSP(COMMUNICATING SEQUENTIAL PROCESSES)
;
DIAGRAMS
;
EVENT-BASED MODELING
;
HYPERGRAPH GRAMMAR
;
INFORMATION SYSTEM SURVIVABILITY
;
Linguistics
;
MDA(MODEL DRIVEN ARCHITECTURE)
;
PE62235N
;
PROCESS ALGEBRA
;
STRUCTURAL OPERATIONAL SEMANTICS
;
VISION
;
VISUAL MODELING LANGUAGES
;
WUNRL556475
;
YAHALOM SECURITY PROTOCOL
URL:
http://www.dtic.mil/docs/citations/ADA440151
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA440151
BASE
Hide details
8
Expressing Constraint Satisfaction Problems in Declarative Modeling Using Natural Language and Fuzzy Sets
Desmontils, Emmanuel
In: ISSN: 0097-8493 ; Computers and Graphics ; https://hal.archives-ouvertes.fr/hal-00816825 ; Computers and Graphics, Elsevier, 2000, 24 (4), pp.555-568 (2000)
BASE
Show details
9
Browsing Parallel Process Networks
P. David Stotts
;
Richard Furuta
In: ftp://ftp.cs.unc.edu/pub/users/stotts/cspTR.ps.gz (1990)
BASE
Show details
10
Browsing Parallel Process Networks
P. David Stotts
;
Richard Furuta
In: http://rockfish-cs.cs.unc.edu/pubs/jpdc90.pdf (1990)
BASE
Show details
11
Untersuchung zweier denotationaler Semantikdefinitionen von CSP
Zetzsche, Frank
. - 1987
UB Frankfurt Linguistik
Show details
12
Modularity and Symmetry for Distributed System; Application to the CSP Language ; Modularité et symétrie pour les systèmes répartis; application au langage CSP
Bougé, Luc
. - : HAL CCSD, 1987
In: https://tel.archives-ouvertes.fr/tel-00416184 ; Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1987. Français (1987)
BASE
Show details
13
M.: The design of the Zinc modelling language
Kim Marriott
;
Nicholas Nethercote
;
Peter J. Stuckey
...
In: http://www.cs.mu.oz.au/~pjs/papers/constraints08b.pdf
BASE
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
1
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
0
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
12
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern