Bisimulations for concurrency

Bisimulations for concurrency

Bibliographic Details
Main Author:	Castellani, Ilaria
Published:	University of Edinburgh 1987
Subjects:	621.3822 Semantics computer modelling
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.381662

Similar Items

Collative semantics : A semantics for natural language processing
by: Fass, D.
Published: (1988)

Semantic constraints in first order theories : a definition and its applicability
by: Noel, P. A. J.
Published: (1988)

Logic grammars and pronominal anaphora
by: Carvalho, A. M. B. R.
Published: (1989)

Temporal logics for abstract semantics
by: Fisher, M. D.
Published: (1987)

Deadlock and deadlock freedom
by: Dathi, Naiem
Published: (1989)

Developing a semantic integrity constraints system with temporal dimension to support a database
by: Abbod, T. H.
Published: (1988)

Independent component analysis with applications to blind source separation
by: Herrmann, Frank
Published: (2000)

Iterative signal processing techniques for improved multiuser detection and MIMO channel equalization
by: Kasparis, Christos
Published: (2005)

An investigation on the performance and channel parameter acquisition of MIMO-OFDM systems for wireless LANs
by: Siew, Jiun
Published: (2005)

Multidimensional channel characterisation with efficient high-resolution array signal processing algorithms
by: Tan, Chor Min
Published: (2005)

Digital signal processing techniques for detection applied to biomedical data
by: Dietl, Hubert
Published: (2005)

A novel hybrid algorithm for timescale modification of speech
by: Knox, Don
Published: (2004)

Signal separation with application to single-sensor data
by: Gran, Michael L.
Published: (2001)

Novel sequential algorithms for blind source separation of instantaneous mixtures
by: Jafari, Maria Grazia
Published: (2003)

Congestion control for scalable video transmission over IP networks
by: Li, Yuliang
Published: (2006)

The implementation of through-water high-speed acoustic communication using linear and circular beamforming arrays
by: Howarth, David Ian
Published: (2011)

Nonuniform sampling algorithms for DASP-based instrumentation
by: Qu, Dongdong
Published: (2008)

A FPGA based low-cost high speed QRD-RLS array processing
by: Gao, Qiang
Published: (2012)

Transition frequency integration : technique for high frequency continuous-time filters
by: Khumsat, Phanumas
Published: (2002)

The application of signal processing to the determination of flowmeter characteristics
by: Bisset, Douglas Robert
Published: (2001)

Signal processing of nonlinear systems in the frequency domain
by: Wu, Xiaofeng
Published: (2008)

Application of frequency invariant constraints to wideband beamforming
by: Zhao, Yong
Published: (2011)

Linear prediction approaches to compensation of missing measurement in Kalman filtering
by: Khan, Naeem
Published: (2012)

High level design methodology for systems including FPGAs
by: Lam, Jasmine
Published: (2006)

A multipath receiver for acoustic data communications through an underwater channel
by: Hooper, Simon John
Published: (2002)

A study of linear error correcting codes
by: Tjhai, Cen Jung
Published: (2007)

The investigation into generic VHDL implementation of generalised minimum distance decoding for Reed Solomon codes
by: Mahmudi, Ali
Published: (2005)

Analysis via time, frequency and scale of nonstationary signals
by: Olhese, Sofia Charlotta
Published: (2003)

Novel approaches for two-dimensional signal modelling
by: Gansawat, Duangrat
Published: (2006)

Non-classical mixer topologies for wireless receivers
by: Kathiresan, Ganesh
Published: (2003)

A novel initialization scheme for blind equalization algorithms
by: Xanthopoulos, Spyridon
Published: (2002)

A gradient-based approach to unsupervised signal separation using signal properties
by: Manmontri, Uttachai
Published: (2006)

Wavelets and kernel based methods and acoustic emission signal diagnostics
by: Terchi, Abdelaziz
Published: (2005)

Computationally efficient equalisation of broadband multiple-input multiple-output systems
by: Bale, Viktor
Published: (2006)

Principal component analysis for signal-based system identification
by: Tan, Murat Hasan
Published: (2005)

A flexible scalable video coding framework with adaptive spatio-temporal decompositions
by: Sprljan, Nikola
Published: (2006)

Code assisted synchronisation techniques
by: Barratt, Keith
Published: (2003)

A framework for digital filter design based on rootmovements
by: Li, Wenmin
Published: (2005)

Signal processing and coding for two-dimensional optical storage
by: Moinian, Abdolhosein
Published: (2006)

The taut string methodology adapted to correlated and bivariate curves
by: Tang, Judy
Published: (2009)